EDV:KIPProxy/subversion: Difference between revisions

Latest revision as of 10:36, 15 November 2013

You may also want to read the instruction given in http://subversion.apache.org/faq.html#proxy

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

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

edit the following lines with the proxy host and port:

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

@@ Line 1: / Line 1: @@
-You may also want to read the instruction given in
+You may also want to read the instruction given in http://subversion.apache.org/faq.html#proxy
- http://subversion.apache.org/faq.html#proxy
 == Linux ==
-in '''~/.subversion/servers'''  (~ means your home-directory)
+In '''~/.subversion/servers'''  (~ means your home-directory)
 edit the following lines with the proxy host and port:
@@ Line 11: / Line 9: @@
 [global] or use a different section
-http-proxy-host = proxy.kip.uni-heidelberg.de
+ http-proxy-host = proxy.kip.uni-heidelberg.de
+ http-proxy-port = 8080
-http-proxy-port = 8080
 == Windows ==
-If you use TortoiseSVN
+If you use TortoiseSVN  see http://tortoisesvn.net/docs/nightly/TortoiseSVN_en/tsvn-dug-settings.html
- http://tortoisesvn.net/docs/nightly/TortoiseSVN_en/tsvn-dug-settings.html
 === Windows 7 ===
-edit '''C:\Users\"YourUsername"\AppData\Roaming\Subversion\servers''' :
+In '''C:\Users\"YourUsername"\AppData\Roaming\Subversion\servers'''
+edit the following lines with the proxy host and port:
-http-proxy-host = proxy.kip.uni-heidelberg.de
-http-proxy-port = 8080
+ http-proxy-host = proxy.kip.uni-heidelberg.de
+ http-proxy-port = 8080