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