Se você puder organizar o dns resolvendo como
xxx.xx1.xxx.xx machine1
xxx.xx2.xxx.xx machine2
xxx.xx3.xxx.xx machine3
(com a configuração do servidor DNS ou com entradas no arquivo / etc / hosts)
Em seguida, sua última instância em .ssh / config será sem entrada de nome do host cobrir todos eles:
Host machine*
User Marry
IdentityFile /home/Marry/ssh_head_keys/id_rsa
ProxyCommand ssh head nc %h %p 2> /dev/null