Dependendo de como seu proxy está configurado, você pode simplesmente criar uma entrada de configuração SSH que funcione em qualquer situação. Por exemplo, em uma rede que eu uso regularmente eu tenho que ssh para um host intermediário antes que eu possa fazer uma conexão de saída. Então basicamente eu configuro uma configuração que se parece com isso.
# proxy ssh
Host *%sshproxy
ProxyCommand ssh [email protected] /bin/netcat -w 1 $(echo %h | cut -d%% -f1) 22
Host myhost.example.org
HostName 172.16.24.1
Host otherhost.example.com
HostName 192.168.57.12
Então, quando eu não preciso usar um proxy, posso simplesmente executar um comando como ssh myhost.example.org
e ficar conectado, mas quando eu preciso do proxy, eu executo o comando ssh myhost.example.org%sshproxy
.
Suspeito que você poderia configurar algum tipo de configuração de alias ou preenchimento automático que anexaria automaticamente o %proxy
bit.