make gxi script more portable

alxbnct · Sep 24, 2018 · 1acf702 · 1acf702
1 parent adc9722
commit 1acf702
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/gerbil/gxi b/src/gerbil/gxi
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 set -eu
 
 if [ -z "${GERBIL_HOME:-}" ]; then
@@ -24,7 +24,7 @@ if [ $# -gt 0 ]; then
     esac
 fi
 
-if [[ "x" = "x$@" ]]; then
+if [ $# -eq 0 ]; then
     exec gsi ${GSIOPTIONS:-} $GERBIL_HOME/lib/gxi-init $GERBIL_HOME/lib/gxi-interactive -
 else
     exec gsi ${GSIOPTIONS:-} $GERBIL_HOME/lib/gxi-init "$@"