EDV:KIPProxy/subversion: Difference between revisions
From KIP Wiki
⧼kip-jumptonavigation⧽⧼kip-jumptosearch⧽
(Created page with "You also may want to read the instruction given in http://subversion.apache.org/faq.html#proxy == Linux == in ''~/.subversion/servers'' (~ means your home-directory) ed...") Â |
No edit summary  |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
You |
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 == |
== Linux == |
||
In '''~/.subversion/servers''' (~ means your home-directory) |
|||
edit the following lines with the proxy host and port: |
edit the following lines with the proxy host and port: |
||
[global] |
[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 == |
== Windows == |
||
If you use TortoiseSVN see http://tortoisesvn.net/docs/nightly/TortoiseSVN_en/tsvn-dug-settings.html |
|||
=== Windows 7 === |
=== Windows 7 === |
||
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-host = proxy.kip.uni-heidelberg.de |
||
http-proxy-port = 8080 |
http-proxy-port = 8080 |
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
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 see http://tortoisesvn.net/docs/nightly/TortoiseSVN_en/tsvn-dug-settings.html
Windows 7
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