use known working terminal before trying x-terminal-emulator (#640)

This commit is contained in:
Jesse Plamondon-Willard 2019-05-30 19:06:23 -04:00
parent 1b3a6a514f
commit a5146daaab
No known key found for this signature in database
GPG Key ID: CF8B1456B3E29F49
1 changed files with 1 additions and 1 deletions

View File

@ -62,7 +62,7 @@ else
fi fi
# select terminal (prefer $TERMINAL for overrides and testing, then xterm for best compatibility, then known supported terminals) # select terminal (prefer $TERMINAL for overrides and testing, then xterm for best compatibility, then known supported terminals)
for terminal in "$TERMINAL" xterm x-terminal-emulator kitty terminator xfce4-terminal gnome-terminal konsole terminal termite; do for terminal in "$TERMINAL" xterm gnome-terminal kitty terminator xfce4-terminal konsole terminal termite x-terminal-emulator; do
if $COMMAND "$terminal" 2>/dev/null; then if $COMMAND "$terminal" 2>/dev/null; then
# Find the true shell behind x-terminal-emulator # Find the true shell behind x-terminal-emulator
if [ "$(basename "$(readlink -f $(which "$terminal"))")" != "x-terminal-emulator" ]; then if [ "$(basename "$(readlink -f $(which "$terminal"))")" != "x-terminal-emulator" ]; then