git как настроить параметры прокси-сервера для разных сетей

Question

Я работаю в компании и дома тоже, используя свой ноутбук под управлением Ubuntu Linux. Код находится в реестре github. В компании я получаю доступ к сети через прокси-сервер http, а дома нет прокси-сервера. Как гнуть толкать/тянуть в таких случаях? Как сказать git использовать прокси-сервер при работе в компании и не использовать прокси-сервер дома?

Это кажется отличным от How to temporarily disable git http proxy, потому что в моем случае я обращаюсь к удаленному репо в обоих случаях, а не к местному репо, как в этом вопросе/ответе.

Моя ситуация выглядит иначе, чем описано в этом вопросе слишком git-proxy-bypass

То, что я хочу, чтобы получить доступ к своему GitHub репо двумя способами:

1. Из-за компании прокси
2. От моя домашняя сеть без прокси

Я должен делать это довольно часто.

Answer 1

Вы можете:

• использовать другую учетную запись и объявить прокси в ваших глобальных настройках Git.
  Данные хранятся в \Path\To\yourAccount\.gitconfig, что означает две разные настройки в зависимости от вашего рабочего места.
• использовать сценарий, который вы запускаете автоматически при запуске операционной системы, которая будет:
  • обнаружить, если прокси-сервер необходимо (попробуйте получить доступ к известной URL: если он выходит из строя, вам необходимо настроить прокси-сервер с аутентификацией)
  • соответственно объявить HTTP(S)_PROXY and NO_PROXY environment variables.