JIYIK CN >

Current Location:Home > Learning > OPERATING SYSTEM > Git >

Configuring a proxy to use Git

Author:JIYIK Last Updated:2025/04/04 Views:

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:

  1. HTTP
  2. HTTPS
  3. SOCKS4
  4. 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.proxyadded 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.comto 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 --globalthe switch to set the configuration for all users and connections.

Use --Globalthe 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 globalthe 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

SOCKSConfiguring a proxy in Git

As mentioned earlier, Git supports the socks5://and socks4://protocols.

Run the following command to configure SOCKSthe 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.

Article URL:

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

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

Scan to Read All Tech Tutorials

Social Media
  • https://www.github.com/onmpw
  • qq:1244347461

Recommended

Tags

Scan the Code
Easier Access Tutorial