В работе у меня есть прокси, дома у меня нет прокси
В работе я устанавливаю прокси-сервер следующим образом:
git config - -global http.proxy http://proxy.theaddress.co.uk:8080
git config - -global https.proxy https://proxy.theaddress.co.uk:8080
В домашних условиях я удаляю прокси-сервер, например
git config --global --unset http.proxy
git config --global --unset https.proxy
Я пытаюсь подтолкнуть что-то к моему git репо с помощью
git push -u origin master
И я получаю
Could not resolve proxy: proxy.theaddress.co.uk
Файл .gitconfig выглядит следующим образом.
[user]
name = first last
email = [email protected]
[http]
[https]
[push]
default = current
[http]
[core]
excludesfile = /Users/first.last/.gitignore_global
[difftool "sourcetree"]
cmd = opendiff \"$LOCAL\" \"$REMOTE\"
path =
[mergetool "sourcetree"]
cmd = /Applications/SourceTree.app/Contents/Resources/opendiff-w.sh \"$LOCAL\" \"$REMOTE\" -ancestor \"$BASE\" -merge \"$MERGED\"
trustExitCode = true
[http]
[https]
[http]
[https]
[http]
[https]
[http]
[https]
[http]
[https]
[filter "media"]
clean = git media clean %f
smudge = git media smudge %f
required = true
[http]
[https]
[https]
[http]
[http]
[https]
[http]
Как удалить прокси?