В офисе я могу подключиться к внутренним машинам без прокси, но мне нужен прокси для внешних подключений. За пределами офиса я могу подключаться к другим внешним машинам без прокси, но мне нужно использовать один из 2 прокси для подключения к внутренним машинам.
Если я могу найти способ автоматического определения, в какой сети я нахожусь, могу ли я дать команду ssh загрузить соответствующий файл конфигурации?
Если нет, то есть ли более элегантное решение, чем написание сценария оболочки для символической ссылки на соответствующий файл конфигурации в ~/.ssh/config (моя лучшая идея на данный момент)?
Редактировать: я думаю, что @pcm и JonnyRo поняли мой вопрос, и я попробую то, что они предлагают, но просто чтобы было ясно, я хочу
|--------\ Dest | abc.example.com | xyz.external.org |
| Source \---------\| | |
|--------------------+-----------------+------------------|
| example.com office | No Proxy | Proxy |
| outside | Proxy | No Proxy |