summaryrefslogtreecommitdiffstats
path: root/script
diff options
context:
space:
mode:
authorSebastiaan Lokhorst <sebastiaanlokhorst@gmail.com>2020-03-20 10:01:11 +0100
committerGitHub <noreply@github.com>2020-03-20 10:01:11 +0100
commit1e4409c6b3add5482f976a3bb9c610bc8f1d602d (patch)
tree1febac3f0036b19fe840f806916dedbe783f8bcc /script
parentf8c3d694bbac3653b786105fe084ab46088d0453 (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-xscript/rofi-sensible-terminal2
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