職場ではプロキシがありますが、自宅ではプロキシがありません
仕事で私は次のようにプロキシを設定しました:
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]
プロキシを削除するにはどうすればよいですか?
次のコマンドで環境変数を確認します。
$echo $http_proxy
$echo $https_proxy
$echo $HTTPS_PROXY
$echo $HTTP_PROXY
これらの環境変数のいずれかが設定されている場合は、http_proxy=
次にenter
はそれらの設定を解除します
$export http_proxy=
以下の変数が設定されている場合、プロキシなしのネットワークで作業するときにすべてを削除するだけです(例@home)
//Computer=>System properties=>Advanced=>Environment Variables
http_proxy,https_proxy,HTTPS_PROXY,HTTP_PROXY
Gitプロキシの設定を解除する
git config --global --unset http.proxy
git config --global --unset https.proxy
Windowsでは、両方の手順が一緒に機能しました。
他の回答(特に@haripによる回答)と同様ですが、Macなどを使用している場合は、ユーザーのホームディレクトリにある.bash_profileファイル(例:cat ~/.bash_profile
)。鉱山は別のプログラムのインストール中にこれらを設定しました:
export HTTP_PROXY=http://proxy.somewhere.com:80
export HTTPS_PROXY=http://proxy.somewhere.com:80
そのファイルを横に移動します(例:mv ~/.bash_profile ~/.bash_profile-hide
)。次に、新しいターミナルウィンドウを起動します(環境変数が再読み込みされます)。新しいターミナルウィンドウを起動しない場合でも、既存のウィンドウには変数が設定されたままなので、手動でクリアする必要があります。