Hi Matthieu Thanks. It is working fine.
Jack Pan On Oct 23, 10:59 pm, mpoullet <[EMAIL PROTECTED]> wrote: > Hi, > > To use GIT behind a proxy, have a look > at:http://www.aptgetupdate.de/2007/07/27/git-hinterm-proxy-nutzen/ > > 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 > > Enjoy, > Matthieu > > PS: you can export GIT_PROXY_COMMAND in your ~/.bashrc file to make > this permanent > > On 23 Okt., 08:56, "[EMAIL PROTECTED]" <[EMAIL PROTECTED]> > wrote: > > > > > Hi all > > > Who know how to use repo bebind proxy? > > My computer shall access Internet through a proxy. > > So I always got a error when I run > > "repo init -u git://android.git.kernel.org/platform/manifest.git" > > > Jack- Hide quoted text - > > - Show quoted text - --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Android Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/android-developers?hl=en -~----------~----~----~----~------~----~------~--~---
