Au bureau, je peux me connecter à des machines internes sans proxy, mais j'ai besoin d'un proxy pour les connexions externes. En dehors du bureau, je peux me connecter à d'autres machines externes sans proxy, mais je dois utiliser l'un des 2 proxy pour me connecter aux machines internes.
Si je peux trouver un moyen de détecter automatiquement le réseau sur lequel je suis, puis-je demander à ssh de charger le fichier de configuration approprié?
Sinon, existe-t-il une solution plus élégante que d'écrire un script shell pour lier le fichier de configuration approprié à ~ / .ssh / config (ma meilleure idée jusqu'à présent)?
Edit: Je pense que @pcm et JonnyRo ont compris ma question et je vais essayer ce qu'ils suggèrent, mais juste pour être clair, je veux
|--------\ Dest | abc.example.com | xyz.external.org |
| Source \---------\| | |
|--------------------+-----------------+------------------|
| example.com office | No Proxy | Proxy |
| outside | Proxy | No Proxy |