1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-18 13:54:36 -05:00

Remove gnome-terminal from rofi-sensible-terminal (#1074)

gnome-terminal is no longer compatible, as noted in #1003
This commit is contained in:
Sebastiaan Lokhorst 2020-03-20 10:01:11 +01:00 committed by GitHub
parent f8c3d694bb
commit 1e4409c6b3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 12 deletions

View file

@ -121,17 +121,6 @@ xterm
.sp -1 .sp -1
.IP \(bu 2.3 .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 roxterm
.RE .RE
.sp .sp

View file

@ -9,7 +9,7 @@
# We welcome patches that add distribution-specific mechanisms to find the # We welcome patches that add distribution-specific mechanisms to find the
# preferred terminal emulator. On Debian, there is the x-terminal-emulator # preferred terminal emulator. On Debian, there is the x-terminal-emulator
# symlink for example. # 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 if command -v $terminal > /dev/null 2>&1; then
exec $terminal "$@" exec $terminal "$@"
fi fi