diff options
| author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2009-12-07 19:34:40 +0100 |
|---|---|---|
| committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2009-12-07 19:34:40 +0100 |
| commit | 838426be3ab74162c91e6feafed6e9fddcd85811 (patch) | |
| tree | 715fea31725ba58b36e6c919942ba404b7600812 | |
| parent | fbc325a511ae8e08ff8a0fa14a5bdf5910dddc4f (diff) | |
Humf; grumpy isn't exported. Let's do it manually.
| -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@" |