hjp
/
dot
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Don't set http_proxy any more

This commit is contained in:
hjp 2012-10-19 11:03:15 +00:00
parent b20ff3df5a
commit 4943368ff7
1 changed files with 1 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.zprofile
View File

@ -1,5 +1,5 @@
# #
# $Id: .zprofile,v 1.21 2012-10-19 11:02:20 hjp Exp $ # $Id: .zprofile,v 1.22 2012-10-19 11:03:15 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,11 +25,4 @@ then
export RGBDEF=/etc/X11/rgb.txt export RGBDEF=/etc/X11/rgb.txt
fi fi
if [ "`uname`" = HP-UX ]
then
export http_proxy=http://squid.wsr.ac.at:3128/
else
http_proxy=`findproxy http://zeno.hjp.at:3128/ http://squid.wsr.ac.at:3128/`
fi
limit coredumpsize unlimited limit coredumpsize unlimited