почему у меня не работали http_proxy, https_proxy, all_proxy env, когда я использую git proxy?

Теперь мне нужно клонировать некоторые репозитории, но они запрещены, тогда я читаю несколько слов из https://www.kernel.org/pub/software/scm/git/docs/git-config.html:

http.proxy

Переопределить HTTP-прокси, обычно настраиваемый с использованием переменных среды http_proxy, https_proxy и all_proxy (см. curl(1)). Это можно переопределить для каждого удаленного устройства; см. удаленный..прокси

Затем я устанавливаю три виртуальные среды env:

export all_proxy="domain.com:8888"
export http_proxy="domain.com:8888"
export https_proxy="domain.com:8888"

Но это не сработало, затем я сбросил их, затем установил http.proxy, используя это:

git config --local http.proxy "domain.com"

Это работает. Но я не должен устанавливать глобальный, потому что могут быть другие клоны, но они не должны использовать прокси, и почему это не сработало, установив эти три виртуальные среды?


git proxy http-proxy env
person gnemoug    schedule 28.06.2013    source источник

Ответы (2)


arrow_upward
1
arrow_downward

Либо потому, что вы установили для env значение domain.com:8888 и не указали порт в конфигурации git, либо потому, что вам нужно ввести эти переменные env в верхний регистр.

Также вы понимаете, что вы можете установить git vars для каждого репо? Итак, вы можете сделать:

git init myrepo
cd myrepo
git config http.proxy "domain.com"
git remote add origin myremote
git fetch --all
git checkout -B master origin/master

И тогда только это репо будет вам прокси.

person Chronial    schedule 28.06.2013
comment
Есть ли способ, которым я могу указать прокси, когда я клонирую специальный репозиторий? - person gnemoug; 28.06.2013
comment
Не с чистым git. Вы можете написать скрипт-оболочку, чтобы справиться с этим. - person Chronial; 28.06.2013
comment
Я мог бы помочь, но в чем именно была проблема с env vars? - person Chronial; 29.06.2013

arrow_upward
0
arrow_downward

Вы также можете (по крайней мере сейчас) передать настройку прокси вместе с командой clone:

git clone https://github.com/user/repository.git --config "http.proxy=host:port"
person Max Demian    schedule 09.05.2015