diff options
| author | Alexander Paetzelt <techge+github@posteo.net> | 2019-12-12 20:52:20 +0100 |
|---|---|---|
| committer | Alexander Paetzelt <techge+github@posteo.net> | 2019-12-12 20:52:20 +0100 |
| commit | 0454d7dad91b8963bad65014df500ef8081f889c (patch) | |
| tree | dc130cbd6b0cba842c971aa44bbc2c66a66549ba | |
| parent | 238fbfe5698fb1791d47e8772ba1c5a86f9300ca (diff) | |
| download | SMAPI-0454d7dad91b8963bad65014df500ef8081f889c.tar.gz SMAPI-0454d7dad91b8963bad65014df500ef8081f889c.tar.bz2 SMAPI-0454d7dad91b8963bad65014df500ef8081f889c.zip | |
Add mate-terminal to the known-to-work terminals
| -rw-r--r-- | src/SMAPI.Installer/unix-launcher.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/SMAPI.Installer/unix-launcher.sh b/src/SMAPI.Installer/unix-launcher.sh index 1422d888..b72eed22 100644 --- a/src/SMAPI.Installer/unix-launcher.sh +++ b/src/SMAPI.Installer/unix-launcher.sh @@ -62,7 +62,7 @@ else fi # select terminal (prefer xterm for best compatibility, then known supported terminals) - for terminal in xterm gnome-terminal kitty terminator xfce4-terminal konsole terminal termite alacritty x-terminal-emulator; do + for terminal in xterm gnome-terminal kitty terminator xfce4-terminal konsole terminal termite alacritty mate-terminal x-terminal-emulator; do if $COMMAND "$terminal" 2>/dev/null; then # Find the true shell behind x-terminal-emulator if [ "$(basename "$(readlink -f $(which "$terminal"))")" != "x-terminal-emulator" ]; then @@ -108,7 +108,7 @@ else alacritty -e sh -c 'TERM=xterm ./StardewModdingAPI.bin.x86 $*' fi ;; - xterm|xfce4-terminal|gnome-terminal|terminal|termite) + xterm|xfce4-terminal|gnome-terminal|terminal|termite|mate-terminal) $LAUNCHTERM -e "sh -c 'TERM=xterm $LAUNCHER'" ;; konsole) |