ssh não está usando o nome do servidor recém-adicionado na configuração

Question

Eu tenho um arquivo de configuração ssh que se parece com isso:

Host my.host.com
    HostName my.host.com
    User michael
    Port 1234

Se eu digitar "ssh my.host.com" na linha de comando, ele se conectará corretamente a "my.host.com" com o nome de usuário correto e a porta não padrão.

O nome real do host é um pouco de digitação, então ocorreu-me que eu poderia economizar muito digitando criando um host com um nome abreviado, então copiei a seção de trabalho acima e criei um host mais curto nome:

Host m
    HostName my.host.com
    User michael
    Port 1234

Mas quando tento me conectar, recebo um erro:

ssh: Could not resolve hostname m: Name or service not known

Eu tentei com -v e não obtive informações úteis:

OpenSSH_6.6.1, OpenSSL 1.0.1f 6 Jan 2014 debug1: Reading configuration
data /root/.ssh/config debug1: Reading configuration data
/etc/ssh/ssh_config debug1: /etc/ssh/ssh_config line 19: Applying
options for * ssh: Could not resolve hostname m: Name or service not
known

Eu tentei adicionar mais -v s para ver se daria uma saída mais detalhada, mas nenhuma informação adicional foi mostrada.

Eu tentei executar com -v com outro alias que configurei para um host diferente e obtive:

OpenSSH_6.6.1, OpenSSL 1.0.1f 6 Jan 2014
debug1: Reading configuration data /root/.ssh/config
debug1: /root/.ssh/config line 11: Applying options for z

Portanto, parece que, por alguma razão, o ssh está ignorando minhas opções para o host "m", mas não para o host "z". A única diferença entre os hosts que parece ser potencialmente relevante é que o "z" está em outro lugar na Internet, enquanto "m" está na LAN, o que está acontecendo aqui?

Meu primeiro pensamento foi talvez eu tenha que reiniciar algo para que as mudanças entrem em vigor, mas isso é ssh, não sshd.

    

Answer 1

Problema resolvido - como discutimos nos comentários sob a pergunta razão que m alias não funcionou em tudo foi a inconsistência em arquivos que foram editados e arquivos realmente usados por ssh comando.

Editar: Especificamente, verifique se você está usando o arquivo de configuração no diretório .ssh de propriedade do usuário atual. Se você tiver o HOME configurado para algo diferente, a edição de ~/.ssh/config será o arquivo errado.