GIT source through HTTP proxy (Linux/Ubuntu)

1. Install socket
$ sudo apt-get install socket


2. Create a proxy-cmd.sh file (for e.g. under ~/bin) and put following code:
#! /bin/bash

(echo "CONNECT $1:$2 HTTP/1.0"; echo; cat) | socket YOUR_PROXY_ADDRESS PORT | (read a; read a; cat)


3. Set GIT_PROXY_COMMAND:
export GIT_PROXY_COMMAND=/PATH/TO/proxy-cmd.sh


4. Done. Enjoy :-)

Src: http://groups.google.com/group/android-platform/browse_thread/thread/1e082b3c4a9d85ca

Comments