git временное удаление http.proxy

Я почти всегда работаю за брандмауэром и использую прокси-сервер http, который установлен в моей глобальной конфигурации git. Время от времени я застрял в публичном месте вне брандмауэра и возвратился к неприсоединительному образу жизни. Это означает, что мой браузер не должен использовать прокси-сервер и т. Д. И т. Д., Которые я должен отменить, как только я вернусь в безопасное место и аккуратно расположился в дружественном месте.git временное удаление http.proxy

Я хочу сделать одно нажатие или зафиксировать/нажать с git вне брандмауэра, но я не хочу удалять настройки прокси из конфигурации, потому что через час мне просто нужно будет добавить его обратно еще раз. Я хочу так что-то вроде

git -c http.proxy="" pull

или

git --unset http.proxy pull

так что я могу просто сделать тянуть это один раз без доверенности. Но первый результат - error: Missing value for 'http.proxy', а второй - недействительный синтаксис.

Так что вопрос:

Как сбросить http.proxy только для одного тянуть?

источник

2014-02-21 Jeff Snider

Вы можете установить 'http_proxy' переменные окружения вместо использования 'http.proxy'? Таким образом, вы можете просто «http_proxy =» foo «git pull» вместо этого ... –

По какой-либо причине в моей установке git не использует параметр в этой переменной окружения. –

Переменные '* _proxy' странны в том, что они имеют тенденцию к схеме с нижним регистром (но я всегда забываю, какая программа использует этот случай). Он чтит 'HTTP_PROXY' или' http_PROXY' вместо этого? –

Лучшим решением для этого было бы написать два командных файла с одним параметром прокси-сервера и другим, где вы отменили прокси-сервер. Перед запросом на pull вы можете запустить пакетный файл в соответствии с вашими потребностями.

Вы можете установить прокси-сервер Git, используя приведенную ниже команду в git bash. Устанавливается как для HTTP, так и для HTTPS-прокси.

git config --global http.proxy http://username:[email protected]:8080 
git config --global https.proxy http://username:[email protected]:8080 

//Replace username with your proxy username 
//Replace password with your proxy password 
//Replace proxy.server.com with the proxy domain URL. 
//Replace 8080 with the proxy port no configured on the proxy server.

Чтобы отключить прокси-сервер Git, выполните приведенные ниже команды в Git bash. мерзавец конфигурация --global --unset http.proxy мерзавец конфигурация --global --unset https.proxy

Проверить How to configure Git proxy и How to unset the Git Proxy для более подробной информации

источник

2015-12-01 14:12:59

git временное удаление http.proxy

ответ

Смежные вопросы