FEATURE: Don't use fully qualified path for bash in host (#458)

diff --git a/launcher b/launcher
index 383ebb945fa4ce95bc4526396d181adc74b3b2e6..12bca22fb96a94a0366a3ec9ce6c21ce283cf39e 100755 (executable)
--- a/launcher
+++ b/launcher
@@ -788,7 +788,7 @@ case "$command" in
           do
             args[$j]=${BASH_ARGV[$i]}
           done
-          exec /bin/bash $0 "${args[@]}" # $@ is empty, because of shift at the beginning. Use BASH_ARGV instead.
+          exec bash $0 "${args[@]}" # $@ is empty, because of shift at the beginning. Use BASH_ARGV instead.
 
         elif [ $REMOTE = $BASE ]; then
           echo "Your version of Launcher is ahead of origin"