diff options
author | Sebastiaan Lokhorst <sebastiaanlokhorst@gmail.com> | 2020-03-20 10:01:11 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-20 10:01:11 +0100 |
commit | 1e4409c6b3add5482f976a3bb9c610bc8f1d602d (patch) | |
tree | 1febac3f0036b19fe840f806916dedbe783f8bcc /script | |
parent | f8c3d694bbac3653b786105fe084ab46088d0453 (diff) |
Remove gnome-terminal from rofi-sensible-terminal (#1074)
gnome-terminal is no longer compatible, as noted in #1003
Diffstat (limited to 'script')
-rwxr-xr-x | script/rofi-sensible-terminal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/rofi-sensible-terminal b/script/rofi-sensible-terminal index 9f1efb11..adb40854 100755 --- a/script/rofi-sensible-terminal +++ b/script/rofi-sensible-terminal @@ -9,7 +9,7 @@ # We welcome patches that add distribution-specific mechanisms to find the # preferred terminal emulator. On Debian, there is the x-terminal-emulator # symlink for example. -for terminal in $TERMINAL x-terminal-emulator urxvt rxvt st terminology qterminal Eterm aterm uxterm xterm gnome-terminal roxterm xfce4-terminal mate-terminal lxterminal konsole alacritty kitty; do +for terminal in $TERMINAL x-terminal-emulator urxvt rxvt st terminology qterminal Eterm aterm uxterm xterm roxterm xfce4-terminal mate-terminal lxterminal konsole alacritty kitty; do if command -v $terminal > /dev/null 2>&1; then exec $terminal "$@" fi |