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 | |
parent | f8c3d694bbac3653b786105fe084ab46088d0453 (diff) |
Remove gnome-terminal from rofi-sensible-terminal (#1074)
gnome-terminal is no longer compatible, as noted in #1003
-rw-r--r-- | doc/rofi-sensible-terminal.1 | 11 | ||||
-rwxr-xr-x | script/rofi-sensible-terminal | 2 |
2 files changed, 1 insertions, 12 deletions
diff --git a/doc/rofi-sensible-terminal.1 b/doc/rofi-sensible-terminal.1 index 9927b896..b03a7a65 100644 --- a/doc/rofi-sensible-terminal.1 +++ b/doc/rofi-sensible-terminal.1 @@ -121,17 +121,6 @@ xterm .sp -1 .IP \(bu 2.3 .\} -gnome\-terminal -.RE -.sp -.RS 4 -.ie n \{\ -\h'-04'\(bu\h'+03'\c -.\} -.el \{\ -.sp -1 -.IP \(bu 2.3 -.\} roxterm .RE .sp 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 |