У меня есть рабочий ноутбук, который находится между болезненным корпоративным прокси в течение дня. Когда я дома, мне не нужно беспокоиться о прокси-сервере, если я не подключу VPN.
Есть ли способ настроить автоматический прокси-сервер github, так что если я нахожусь на работе, он будет использовать корпоративный прокси, и если я дома, он удалит настройки прокси-сервера?
Или, может быть, попытка 1 сделана с прокси-сервером, а попытка 2 - без?
Спасибо за любые предложения!
Всего 1 ответ
Вы можете установить его вручную с помощью предварительно определенных скриптов / функций, как описано здесь:
enable_proxy , а при работе на дому я вызываю disable_proxy », как подробно описано здесь . Вы можете обернуть это в тесте, который пытается завитать без, а затем с переменной HTTP (S) _PROXY, чтобы узнать, какой вызов успешный.
В Linux этот тест может быть частью вашего .bashrc , который позволит любому новому сеансу оболочки открывать себя с нужными настройками или нет.