EDV:KIPProxy/subversion

You may also want to read the instruction given in

http://subversion.apache.org/faq.html#proxy

Linux

in ~/.subversion/servers (~ means your home-directory)

edit the following lines with the proxy host and port:

[global] or use a different section

http-proxy-host = proxy.kip.uni-heidelberg.de

http-proxy-port = 8080

Windows

If you use TortoiseSVN

http://tortoisesvn.net/docs/nightly/TortoiseSVN_en/tsvn-dug-settings.html

Windows 7

edit C:\Users\"YourUsername"\AppData\Roaming\Subversion\servers :

http-proxy-host = proxy.kip.uni-heidelberg.de

http-proxy-port = 8080