From 480fadddce2d331d2a6d223217a02acbc5584169 Mon Sep 17 00:00:00 2001
From: hjp <hjp>
Date: Wed, 30 Nov 2005 12:36:27 +0000
Subject: [PATCH] habanero is in DMZ, too. I need to find a better way to
 configure http_proxy.

---
 .zshenv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.zshenv b/.zshenv
index fc37c9a..4448a95 100644
--- a/.zshenv
+++ b/.zshenv
@@ -212,7 +212,7 @@ case "$FQDN" in
    *.hjp.at)
 	export http_proxy=http://teal.hjp.at:3128/
 	;;
-   samkar.wsr.ac.at|wsrgeh.wsr.ac.at|laire.wsr.ac.at|spiridon*.wsr.ac.at)
+   samkar.wsr.ac.at|wsrgeh.wsr.ac.at|laire.wsr.ac.at|spiridon*.wsr.ac.at|habanero.wsr.ac.at)
 	unset http_proxy
 	;;
    *.wsr.ac.at)