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