From 838426be3ab74162c91e6feafed6e9fddcd85811 Mon Sep 17 00:00:00 2001 From: "Nicolas \"Pixel\" Noble" Date: Mon, 7 Dec 2009 19:34:40 +0100 Subject: Humf; grumpy isn't exported. Let's do it manually. --- compilation | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compilation b/compilation index dd427bb..aad9aa2 100755 --- a/compilation +++ b/compilation @@ -7,9 +7,10 @@ # githostname="git.grumpycoder.net" +localhostname=`hostname` if [ "x$USER" = "xpixel" ] || [ "x$USER" = "xnnoble" ] ; then - if [ "x$HOSTNAME" = "xgrumpy" ] ; then + if [ "x$localhostname" = "xgrumpy" ] ; then githostname="" else prefix="ssh+git://pixel@" -- cgit v1.2.3