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 --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
