![]() Values for the core.gitproxy configuration variable. In this case, you provide multiple configuration ![]() Note that it is possible to use more than one proxy script, depending on theĭomain name of the repository. $ git config -global core.gitproxy /path/to/bin/git-proxy.sh The helper script, by convention, is called git-proxy.sh, but you can name itĪnything you want, and configure git to use that: This script is specified in the git configuration file in the section, You can configure git to use a proxy helper script to use to work with a proxy. There are different kinds of proxies which may be available to you. With that you need to configure your /.ssh/config to use host and port 443 instead of : But that solution doesn’t consider yet a http proxy. This is described at Using SSH over the HTTPS port.
0 Comments
Leave a Reply. |