bash_profile: Fix proxy settings, broken in the shake-up.

[profile] / bash_profile

diff --git a/bash_profile b/bash_profile
index 198aeeb6ac7590789a25a05c5e7d4ecb21de9522..a4524ea92d9903f4f15f5314cfb0e0794b1c5c99 100644 (file)
--- a/bash_profile
+++ b/bash_profile
@@ -150,7 +150,7 @@ export TMP=$TMPDIR
 export PERL_READLINE_NOWARN=yes
 
 [ -z "$NNTPSERVER" ] && export NNTPSERVER=`__mdw_conf nntp-server`
-[ -z "$http_proxy" ] && export http_proxy=`__mdw_conf http-proxy`
+[ -z "$http_proxy" ] && export http_proxy=http://`__mdw_conf http-proxy`/
 [ -z "$ftp_proxy" ] && export ftp_proxy=$http_proxy
 
 export XUSERFILESEARCHPATH="$HOME/.Xapps/%N:/usr/lib/X11/%T/%N%S"