Merge pull request #725 from jlaw/fix-misc-launcher

Update unix-launcher.sh
This commit is contained in:
Jesse Plamondon-Willard 2020-06-23 20:04:42 -04:00 committed by GitHub
commit 35f15dfef3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -79,7 +79,7 @@ else
# if no terminal was found, run in current shell or with no output
if [ -z "$LAUNCHTERM" ]; then
sh -c 'TERM=xterm $LAUNCHER'
sh -c "TERM=xterm $LAUNCHER"
if [ $? -eq 127 ]; then
$LAUNCHER --no-terminal
fi
@ -116,7 +116,7 @@ else
;;
*)
# If we don't know the terminal, just try to run it in the current shell.
sh -c 'TERM=xterm $LAUNCHER'
sh -c "TERM=xterm $LAUNCHER"
# if THAT fails, launch with no output
if [ $? -eq 127 ]; then
$LAUNCHER --no-terminal