diff options
| -rwxr-xr-x | compilation | 3 |
1 files changed, 2 insertions, 1 deletions
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@" |