Nomes de host completos com configuração ssh

Eu freqüentemente uso meu laptop de casa, onde tenho que entrar na minha rede de trabalho via VPN.

Por causa de alguns detalhes de nossa configuração VPN, o domínio geral do meu computador não está configurado sobre VPN como seria quando eu estivesse fisicamente no trabalho. Ou seja, se no trabalho eu pudesse me conectar ao servidor de desenvolvimento com um simples ssh dev, de casa, preciso fazer um nome de host completo ssh dev.myworkserver.com,. Mesmo quando estiver na VPN.

Felizmente, o arquivo de configuração do ssh pode economizar um pouco de mudança de contexto para meu pobre cérebro, sabendo o nome completo do host para qualquer nome curto que eu possa precisar:

Host dev
HostName dev.myworkserver.com

Agora posso ssh devambos os lugares, e não me preocupo em lembrar o nome completo dependendo de onde estou.

Bônus:

Você pode combinar isso com a propriedade “Usuário” se precisar usar rotineiramente um nome de usuário diferente do padrão.

Host dev
User pablo

Em pablovez disso, me logaria no servidor dev como nome de usuário . Muito bacana!