How do I get Git to use a proxy server?
I need to check out code from a Git server, but it shows "Request timed out" every time. How do I get around this?
Alternatively, how can I set a proxy server?
How do I get Git to use a proxy server?
I need to check out code from a Git server, but it shows "Request timed out" every time. How do I get around this?
Alternatively, how can I set a proxy server?
Command to use:
git config --global http.proxy http://proxyuser:[email protected]:8080
proxyuser
to your proxy userproxypwd
to your proxy passwordproxy.server.com
to the URL of your proxy server8080
to the proxy port configured on your proxy serverNote that this works for both http and https repos.
If you decide at any time to reset this proxy and work without proxy:
Command to use:
git config --global --unset http.proxy
Finally, to check the currently set proxy:
git config --global --get http.proxy
This worked for me, in windows XP behind a corporate firewall.
I didnt have to install any local proxy or any other software besides git v1.771 from http://code.google.com/p/msysgit/downloads/list?can=3
$ git config --global http.proxy http://proxyuser:[email protected]:8080
$ git config --system http.sslcainfo /bin/curl-ca-bundle.crt
$ git remote add origin https://mygithubuser:[email protected]/repoUser/repoName.git
$ git push origin master
proxyuser= the proxy user I was assigned by our IT dept, in my case it is the same windows user I use to log in to my PC, the Active Directory user
proxypwd= the password of my proxy user
proxy.server.com:8080 = the proxy name and port, I got it from Control Panel, Internet Options, Connections, Lan Settings button, Advanced button inside the Proxy Server section, use the servername and port on the first (http) row.
mygithubuser = the user I use to log in to github.com
mygithubpwd = the password for my github.com user
repoUser = the user owner of the repo
repoName = the name of the repo
Set a system variable named http_proxy
with the value of ProxyServer:Port
.
That is the simplest solution. Respectively, use https_proxy
as daefu pointed out in the comments.
Setting gitproxy (as sleske mentions) is another option, but that requires a "command", which is not as straightforward as the above solution.
References: http://bardofschool.blogspot.com/2008/11/use-git-behind-proxy.html
If the command line way of configuring your proxy server doesn't work, you can probably just edit .gitconfig (in the root of your profile, which may hide both in C:\Documents and Settings and on some network drive) and add this:
[http]
proxy = http://username:[email protected]:8080
YMMV though, this only covers the first step of the command line configuration. You may have to edit the system git configuration too and I have no idea where they hid that.
As an alternative to using git config --global http.proxy address:port
, you can set the proxy on the command line:
git -c "http.proxy=address:port" clone https://...
The advantage is the proxy is not persistently set. Under Bash you might set an alias:
alias git-proxy='git -c "http.proxy=address:port"'
If you are using ubuntu, then do the following ...
Step 1 : Install corkscrew
$ sudo apt-get install corkscrew
Step 2 : Write a script named git-proxy.sh and add the following
#!/bin/sh
exec corkscrew <name of proxy server> <port> $*
# <name_of_proxy_server> and <port> are the ip address and port of the server
# e.g. exec corkscrew 192.168.0.1 808 $*
Step 3 : Make the script executable
$ chmod +x git-proxy.sh
Step 4 : Set up the proxy command for GIT by setting the environment variable
$ export GIT_PROXY_COMMAND="/<path>/git-proxy.sh"
Now use the git commands,such as
git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
Faced same issue because of multiple .gitconfig
files in windows, followed below steps to fix the same:
Step 1: Open Git BASH
Step 2: Look for .gitconfig
, executing following command:
git config --list --global --show-origin
Step 3: Copy the below content in .gitconfig
:
[http]
proxy = http://YOUR_PROXY_USERNAME:[email protected]:YOUR.PROXY.SERVER.PORT
sslverify = false
[https]
proxy = http://YOUR_PROXY_USERNAME:[email protected]:YOUR.PROXY.SERVER.PORT
sslverify = false
[url "http://github.com/"]
insteadOf = git://github.com/
[user]
name = Arpit Aggarwal
email = [email protected]
There's something I noticed and want to share here:
git config --global http.proxy http://<proxy address>:<port number>
The method above will not work for SSH URLs (i.e., [email protected]:<user name>/<project name>.git
):
git clone [email protected]:<user name>/<project name>.git // will not use the http proxy
And things will not change if we set SSH over the HTTPS port (https://help.github.com/en/articles/using-ssh-over-the-https-port) because it only changes the port (22 by default) the SSH connection connects to.
I work on Windows XP at work(state/gov), so I did my research and found this here and it worked for me. Hope this helps :)
The http_proxy Environment Variable
If you use a proxy server or firewall, you may need to set the http_proxy environment variable in order to access some url from commandline. Example : Installing ppm for perl or applying rpm in linux ,updating ubuntu
Set the http_proxy variable with the hostname or IP address of the proxy server: http_proxy=http:// [proxy.example.org]
If the proxy server requires a user name and password, include them in the following form: http_proxy=http:// [username:[email protected]]
If the proxy server uses a port other than 80, include the port number: http_proxy=http:// [username:[email protected]:8080]
Windows XP
- Open the Control Panel and click the System icon.
- On the Advanced tab, click on Environment Variables.
- Click New in the System variables panel.
- Add http_proxy with the appropriate proxy information (see examples above).
Linux, Solaris or HP-UX
Set the http_proxy environment variable using the command specific to your shell (e.g. set or export). To make this change persistent, add the command to the appropriate profile file for the shell. For example, in bash, add a line like the following to your .bash_profile or .bashrc file:
- http_proxy=http:// [username:password@hostname:port];
- export $http_proxy
In addition of thse answers, I found helpful to consider these 2 points:
One may need to enforce an authentication scheme:
[http]
# https://github.com/git/git/blob/master/Documentation/config.txt
proxyAuthMethod = anyauth|basic|digest|negotiate|ntlm
Also, typically with NTLM authentication schema, one may need to provide explicitely the AD domain.
In git bash:
echo %userdomain%
And update the http.proxy accordingly:
git config --global http.proxy http://DOMAIN\\proxyuser:[email protected]:8080
Anyway, investigation may be helped by adding CURL logs:
export GIT_CURL_VERBOSE=1
If you have tsocks or proxychains installed and configured, you can
$ tsocks git clone <you_repository>
or
$ proxychains git clone <you_repository>
to make it shorter, I created a symbol link /usr/bin/p
for proxychains
, so I can use it like this
p git clone <you_repository>
and I can use it to proxy any command,
p <cmd-need-be-proxied>
by the way, proxychains is not updated for a long time, you may wanna try proxychians-ng
Setting git proxy on terminal
if
Set it globally once
git config --global http.proxy username:password@proxy_url:proxy_port
git config --global https.proxy username:password@proxy_url:proxy_port
if you want to set proxy for only one git project (there may be some situations where you may not want to use same proxy or any proxy at all for some git connections)
//go to project root
cd /bla_bla/project_root
//set proxy for both http and https
git config http.proxy username:password@proxy_url:proxy_port
git config https.proxy username:password@proxy_url:proxy_port
if you want to display current proxy settings
git config --list
if you want to remove proxy globally
git config --global --unset http.proxy
git config --global --unset https.proxy
if you want to remove proxy for only one git root
//go to project root
cd /bla-bla/project_root
git config --unset http.proxy
git config --unset https.proxy
I followed the most of the answers which was recommended here. First I got the following error:
fatal: unable to access 'https://github.com/folder/sample.git/': schannel: next InitializeSecurityContext failed: Unknown error (0x80092012) - The revocation function was unable to check revocation for the certificate.
Then I have tried the following command by @Salim Hamidi
git config --global http.proxy http://proxyuser:[email protected]:8080
But I got the following error:
fatal: unable to access 'https://github.com/folder/sample.git/': Received HTTP code 407 from proxy after CONNECT
This could happen if the proxy server can't verify the SSL certificate. So we want to make sure that the ssl verification is off (not recommended for non trusted sites), so I have done the following steps which was recommended by @Arpit but with slight changes:
1.First make sure to remove any previous proxy settings:
git config --global --unset http.proxy
2.Then list and get the gitconfig content
git config --list --show-origin
3.Last update the content of the gitconfig file as below:
[http]
sslCAInfo = C:/yourfolder/AppData/Local/Programs/Git/mingw64/ssl/certs/ca-bundle.crt
sslBackend = schannel
proxy = http://proxyuser:[email protected]:8080
sslverify = false
[https]
proxy = http://proxyuser:[email protected]:8080
sslverify = false
I have tried all the above answers and nothing worked for me, as there was a proxy password encoding issues.
This command worked:
git config --global http.proxy http://[email protected]:PortNumber
Do not enter the password in your command. It will dynamically ask for when you try to connect to any git repo.
For windows users: if git config
or set http_proxy=
doesn't work, this answer may help:
replace the git://
protocol of the git repository with http://
. Note, you'll have to set the http_proxy
first, anyways.
an alternative to using a proxy is to use SSH In the git configs, configure the origin remote on the ssh address.Then use the ssh-keygen command, which gives you a public key that you can set in your GitLab or Gitab account settings and login accordingly done...
1-verify which remotes are using by running git remote -v
in your Git client.
2-if this is http(s) url ,changed it to ssh address , run: git remote set-url <remote name, e.g. origin> <new SSH URL>
for example
git remote set-url [email protected]:example/myproject.git
3-to generate ssh key for login ,run : ssh-keygen -o
, this command generate public(id_rsa.pub file) and private keys.
4-copy public key contents. (from id_rsa.pub file)
5-go to gitlab/githup/.... profile section > setting/ssh-key . create new ssh key and paste public key contents