Added proxy.bashrc to get proxy information from .subversion/servers.
git-svn-id: https://svn.cambridge.iain.cx/profile/trunk@57
6be0d1a5-5cfe-0310-89b6-
964be062b18b
--- /dev/null
+# $Id$
+# Read proxy information from Subversion if possible.
+
+servers=~/.subversion/servers
+
+if [ -r "$servers" ]; then
+ eval $(sed -n '/^\[global\]/,/^\[/s/^http-proxy-\([^= ]*\) *= *\(.*\)/proxy_\1="\2"/p' "$servers")
+ creds=""
+ [ ! -z "$proxy_username" ] && creds="$proxy_username:$proxy_password@"
+ export http_proxy="http://$creds$proxy_host:${proxy_port:-80}"
+fi
+
+unset proxy_username proxy_password proxy_host proxy_port creds servers
--- /dev/null
+# $Id$
+
+[helpers]
+editor-cmd = vim