mirror of
https://github.com/lbonn/rofi
synced 2024-11-10 14:24:27 +00:00
1e4409c6b3
gnome-terminal is no longer compatible, as noted in #1003
18 lines
737 B
Bash
Executable file
18 lines
737 B
Bash
Executable file
#!/usr/bin/env bash
|
|
#
|
|
# This code is released in public domain by Han Boetes <han@mijncomputer.nl>
|
|
# Updated by Dave Davenport <qball@gmpclient.org>
|
|
#
|
|
# This script tries to exec a terminal emulator by trying some known terminal
|
|
# emulators.
|
|
#
|
|
# 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 roxterm xfce4-terminal mate-terminal lxterminal konsole alacritty kitty; do
|
|
if command -v $terminal > /dev/null 2>&1; then
|
|
exec $terminal "$@"
|
|
fi
|
|
done
|
|
|
|
rofi -e "Failed to find a suitable terminal"
|