From 4943368ff7fd05f2e3b1d0ffec82f13c167b098b Mon Sep 17 00:00:00 2001 From: hjp Date: Fri, 19 Oct 2012 11:03:15 +0000 Subject: [PATCH] Don't set http_proxy any more --- .zprofile | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/.zprofile b/.zprofile index 843c681..04c7a35 100644 --- a/.zprofile +++ b/.zprofile @@ -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 # @@ -25,11 +25,4 @@ then export RGBDEF=/etc/X11/rgb.txt 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