From e3a94577078f22ec2eb0418f25922abc1a5d8132 Mon Sep 17 00:00:00 2001
From: Benjamin Franzke <benjaminfranzke@googlemail.com>
Date: Mon, 5 Mar 2012 13:45:26 +0100
Subject: env.sh: Use $HOSTNAME instead of /bin/hostname

---
 src/env.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/env.sh b/src/env.sh
index 17a54d9..66591f6 100755
--- a/src/env.sh
+++ b/src/env.sh
@@ -5,7 +5,7 @@ doecho() {
 
 home=~ben
 
-if [ $(hostname) = "blx" ]; then
+if [ "$HOSTNAME" = "blx" ]; then
 doecho export prefix=$home/.local
 else
 doecho export prefix=$home/dist
-- 
cgit