I\'m trying to use Git through a proxy. I\'ve tried setting parameters \'git config --global\' in a lot of ways but always without success when cloning repositories.
I copied the http proxy section of my .gitconfig to https:
[http]
proxy = http://user:pass@ip_or_host:port
[https]
proxy = http://user:pass@ip_or_host:port
I put an incorrect password in the http proxy just to check, and it was ignored, so it's the https section that was missing for me.
Strangely, on another day that didn't work. I don't know if I'm going crazy or if there's another step I forgot. In today's case, this method of setting the proxy worked (with a cleared .gitconfig) from the command line:
HTTPS_PROXY="http://user:pass@ip_or_host:port/" git clone --progress -v "https://github.com/repo" local_folder
Notes:
DOMAIN\user
.