FIX install.sh

mj
1 parent c781b4bd71
Showing 1 changed file with 1 additions and 1 deletions Side-by-side Diff
tools/install.sh
@@ -12,7 +12,7 @@
  
 set -e
  
-if [ $UID -eq 0 ]; then CMD_PREFIX="sudo"; else CMD_PREFIX=""; fi
+if [ $UID == 0 ]; then CMD_PREFIX="sudo"; else CMD_PREFIX=""; fi
  
 if [ "$SHELL" != "$(which zsh)" ]; then
 	echo "$(which zsh)"
...	...	@@ -12,7 +12,7 @@
12	12
13	13	set -e
14	14
15		-if [ $UID -eq 0 ]; then CMD_PREFIX="sudo"; else CMD_PREFIX=""; fi
	15	+if [ $UID == 0 ]; then CMD_PREFIX="sudo"; else CMD_PREFIX=""; fi
16	16
17	17	if [ "$SHELL" != "$(which zsh)" ]; then
18	18	echo "$(which zsh)"