Configuring a proxy to use Git
This article discusses configuring Git to work with different proxies. It is often difficult to access Git when working behind a corporate firewall.
We'll cover some of the proxies that Git supports, how to configure them, and how to provide the proxy to our command line for a one-time use. Let's jump right in.
Proxy protocols supported in Git
Git supports the following proxies:
- HTTP
- HTTPS
- SOCKS4
- SOCKS5
Using HTTP Proxy with Git Commands
We usually edit the Git configuration file to use a proxy. However, Git allows us to provide the proxy to the terminal for quick use.
This is an example of an HTTP proxy on the command line.
$ git config --global http.proxy http://username:password@proxy_server.com:port
In a scenario with a specific domain, we will run the command as shown below.
$ git config --global http.http://specific_domain.com.proxy http://username:password@proxy_server.com:port
Notice that we http.proxy
added our domain between and that we provided the full proxy URL. The full URL enables Git to automatically recognize and run the protocol.
Using HTTPS proxy with Git commands
In the scenario where we are working behind a firewall, following is how we will run the commands for the HTTPS proxy protocol.
$ git config --global http.https://specific_domain.com.proxy http://username:password@proxy_server.com:port
The URL is between http.proxy
, but note the change from http://specific_domain.com
to https://specific_domain.com
.
You can disable SSL verification to avoid problems as shown below.
$ git config --global http.https://specific_domain.com.sslVerify false
Permanently configure the proxy in the Git configuration file
We can store the above settings permanently in the Git configuration file. We use --global
the switch to set the configuration for all users and connections.
Use --Global
the switch to set the global proxy
If we need all Git operations to go through the proxy, we run:
$ git config --global http.proxy http://username:password@proxy_server.com:port
Setting up a proxy for a specific domain
If we want a specific domain to connect through our proxy, we would run the following command.
$ git config --global http.https://domain.com.proxy http://username:password@proxy_server.com:port
Disable HTTPS Authentication
If you receive this error message 无法访问 'https://...': Unknown SSL protocol error in connection to ...:443
, you can turn off SSL verification as shown below.
$ git -c http.sslVerify=false clone https://domain.com/example.git
Alternatively, you can disable it all together as shown below.
$ git config http.sslVerify false
Remove proxy settings for Git repository
We use the command below to list all the proxies connected to our repository.
$ git config --get-regexp http.*
We can use any of the following syntax to remove our proxy.
$ git config --unset http.proxy
$ git config --unset http.https://domain.com.proxy
or
$ git config --unset http.sslVerify
$ git config --unset http.https://domain.com.sslVerify
As shown below, we can add global
the switch to remove the proxy settings from all our repositories.
$ git config --global --unset http.proxy
$ git config --global --unset http.https://domain.com.proxy
SOCKS
Configuring a proxy in Git
As mentioned earlier, Git supports the socks5://
and socks4://
protocols.
Run the following command to configure SOCKS
the protocol.
$ git config --global http.proxy socks5://proxy_server.com:port
For a specific domain, run:
$ git config --global http.https://domain.com.proxy socks5://proxy_server.com:port
For reprinting, please send an email to 1244347461@qq.com for approval. After obtaining the author's consent, kindly include the source as a link.
Related Articles
Git installation and establishment of local warehouse service
Publish Date:2025/04/05 Views:89 Category:Git
-
Git is a distributed version control system: the client does not only extract the latest version of the file snapshot, but also completely mirrors the original code repository. It has the following advantages: a. Since every extraction oper
git remote operation——multiple remote repositories for one project
Publish Date:2025/04/05 Views:131 Category:Git
-
Multiple remote repositories for a git project In our git project, the command to operate the remote repository information is $ git remote # 查看当前所有的远程仓库的名称 $ git remote -v # 查看远程仓库的名称和远程仓
Git cherry pick command usage
Publish Date:2025/04/05 Views:190 Category:Git
-
git cherry-pick is a powerful command that allows us to select an arbitrary Git commit by reference and attach it to the HEAD of the current working branch. Cherry picking is the act of picking a commit from one branch and applying it to an
Comparison between Git merge and Git rebase
Publish Date:2025/04/05 Views:171 Category:Git
-
The git rebase command may seem like Git wizardry to beginners, but if used carefully, it can actually make life easier for your development team. In this article, we compare git rebase with the related git merge command and identify all th
How to fix Git error Error: src refspec master does not match any
Publish Date:2025/04/05 Views:124 Category:Git
-
When using Git, we may encounter the error "src refspace master does not match any". Here's what the error means and how to fix it. What does src refspec master does not match any Mean in Git mean? We may encounter this error when we try to
Rebase local branch when pulling changes from remote repository branch in Git
Publish Date:2025/04/05 Views:144 Category:Git
-
This article will cover the basics of rebasing your local branch when pulling changes from a remote repository branch in Git. We use the version control system Git to track changes made to files. We commit changes in a local branch in our l
Undo Git Stash
Publish Date:2025/04/04 Views:187 Category:Git
-
This article explains how to make and save changes to a repository. Git allows you to save changes locally and push them to a server when needed. In Git, we don't use the term save , but commit . We use git add , git commit , and git stash
View a list of cache entries in Git
Publish Date:2025/04/04 Views:59 Category:Git
-
We often need to pause our work and focus on something else in our development environment. Therefore, we may need to temporarily save our current work and focus on a different one. We may want to resume our original work later. git stash T
Git stores specific files
Publish Date:2025/04/04 Views:115 Category:Git
-
This article will cover storing changes to only specific files in Git. In Git, when we make some changes in our working tree, we may have some changes which may or may not be staged in our local repo. We may now wish to save these changes f