Using git behind proxy

Source

If the URL is of the pattern 

git ://

Then

I found the instructions on some page.

I've pasted them here for easier access.

Basically the steps are:

1 - sudo apt-get install socket

2 - in your home directory, put a shell script called "proxy-cmd.sh"

containing (replace YOUR_PROXY and YOUR_PROXY_PORT with your own proxy

parameters):

#! /bin/bash

(echo "CONNECT $1:$2 HTTP/1.0"; echo; cat ) | socket YOUR_PROXY

YOUR_PROXY_PORT | (read a; read a; cat )

3 - chmod +x proxy-cmd.sh

4 - export GIT_PROXY_COMMAND=<PATH TO YOUR SCRIPT>/proxy-cmd.sh

Note: you can export GIT_PROXY_COMMAND in your ~/.bashrc file to make

this permanent 

If the url is of the pattern

http

then

git config --global http.proxy http://myproxy.domain.com:1234