rootninja

You can do this globally for everyone, or just for yourself.

Global Configuration

Edit /etc/subversion/servers. This should have http-proxy settings examples commented out. Add your own settings to this file and shazaam, you’re done.

http-proxy-host = myprox.domain.com
http-proxy-port = 80
http-proxy-username = dude
http-proxy-password = sweet
http-auth-types = basic;digest;negotiate

User Configuration

There’s a hidden directory called “.subversion” in your home directory. Edit the servers file. Everything should be self explanatory. Scroll down to the bottom and you’ll find a global section. If its not there, just add it. Skip any settings you don’t need such as username and password for example.

[global]
http-proxy-exceptions = mylan.com
http-proxy-host = 192.168.1.100
http-proxy-port = 8002
# http-proxy-username = defaultusername
# http-proxy-password = defaultpassword
# http-compression = no
# http-auth-types = basic;digest;negotiate

Now you can download fresh source from teh internet whenever you want to download and/or build bleeding edge bugware from behind an internet proxy.

svn co http://svn.pyinstaller.org/trunk pyinstaller
svn co http://src.chromium.org/svn/trunk/tools/depot_tools