In ufficio, posso collegarmi a macchine interne senza un proxy, ma ho bisogno di un proxy per le connessioni esterne. Al di fuori dell'ufficio, posso collegarmi ad altre macchine esterne senza un proxy, ma devo usare uno dei 2 proxy per collegarmi alle macchine interne.
Se riesco a trovare un modo per rilevare automaticamente la rete in cui mi trovo, posso indicare a ssh di caricare il file di configurazione appropriato?
In caso contrario, esiste una soluzione più elegante della scrittura di uno script di shell per collegare in modo simbolico il file di configurazione appropriato a ~ / .ssh / config (la mia migliore idea finora)?
Modifica: Penso che @pcm e JonnyRo abbiano capito la mia domanda e proverò quello che suggeriscono, ma solo per essere chiari, voglio
|--------\ Dest | abc.example.com | xyz.external.org |
| Source \---------\| | |
|--------------------+-----------------+------------------|
| example.com office | No Proxy | Proxy |
| outside | Proxy | No Proxy |