diff options
Diffstat (limited to 'compilation')
| -rwxr-xr-x | compilation | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compilation b/compilation index 9218e1a..91ac28c 100755 --- a/compilation +++ b/compilation @@ -6,8 +6,10 @@ # not limited to, mysql-client-dev, imagemagick-dev, and oracle-occi # -if [ "$USER" == "pixel" ] || [ "$USER" == "nnoble" ] ; then - prefix="ssh+git://pixel@" +if [ "x$USER" = "xpixel" ] || [ "x$USER" = "xnnoble" ] ; then + if [ "x$HOSTNAME" != "xgrumpy" ] ; then + prefix="ssh+git://pixel@" + fi path="/pub/repo.git" else prefix="http://" |