Don't try to autodetect http_proxy on HP-UX - it takes a looong time.

This commit is contained in:
hjp 2007-10-09 11:49:11 +00:00
parent d9f46033ce
commit be976991f5
1 changed files with 15 additions and 10 deletions

View File

@ -1,5 +1,5 @@
# #
# $Id: .zprofile,v 1.18 2007-10-01 15:06:50 hjp Exp $ # $Id: .zprofile,v 1.19 2007-10-09 11:49:11 hjp Exp $
# #
# this is sourced for login shells after .zshenv but before .zshrc # this is sourced for login shells after .zshenv but before .zshrc
# #
@ -25,12 +25,17 @@ then
export RGBDEF=/etc/X11/rgb.txt export RGBDEF=/etc/X11/rgb.txt
fi fi
unset http_proxy if [ "`uname`" = HP-UX ]
for i in http://zeno.hjp.at:3128/ http://squid.wsr.ac.at:3128/ then
do export http_proxy=http://squid.wsr.ac.at:3128/
if http_proxy=$i wget -q -O /dev/null http://www.hjp.at else
then unset http_proxy
http_proxy=$i for i in http://zeno.hjp.at:3128/ http://squid.wsr.ac.at:3128/
break do
fi if http_proxy=$i wget -q -O /dev/null http://www.hjp.at
done then
export http_proxy=$i
break
fi
done
fi