Конкретный прокси-сервер Github

У меня есть рабочий ноутбук, который находится между болезненным корпоративным прокси в течение дня. Когда я дома, мне не нужно беспокоиться о прокси-сервере, если я не подключу VPN.

Есть ли способ настроить автоматический прокси-сервер github, так что если я нахожусь на работе, он будет использовать корпоративный прокси, и если я дома, он удалит настройки прокси-сервера?

Или, может быть, попытка 1 сделана с прокси-сервером, а попытка 2 - без?

Спасибо за любые предложения!

Всего 1 ответ


Вы можете установить его вручную с помощью предварительно определенных скриптов / функций, как описано здесь:

Вы можете обернуть это в тесте, который пытается завитать без, а затем с переменной HTTP (S) _PROXY, чтобы узнать, какой вызов успешный.
В Linux этот тест может быть частью вашего .bashrc , который позволит любому новому сеансу оболочки открывать себя с нужными настройками или нет.


Есть идеи?

10000