Added subversion config.
[profile.git] / .profile.d / proxy.bashrc
diff --git a/.profile.d/proxy.bashrc b/.profile.d/proxy.bashrc
new file mode 100644 (file)
index 0000000..811fcbd
--- /dev/null
@@ -0,0 +1,13 @@
+# $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