Merge remote-tracking branch 'qubesos/pr/135'

* qubesos/pr/135:
  misc/qubes-run-terminal: which -> type
This commit is contained in:
Marek Marczykowski-Górecki 2018-09-02 07:10:49 +02:00
commit c6e7d04b1c
No known key found for this signature in database
GPG Key ID: 063938BA42CFA724

View File

@ -2,10 +2,11 @@
# Try to find a terminal emulator that's installed and run it.
for terminal in x-terminal-emulator gnome-terminal xfce4-terminal konsole urxvt rxvt termit terminator Eterm aterm roxterm termite lxterminal mate-terminal terminology st xterm; do
if which $terminal >/dev/null 2>&1 ; then
# bogus warning from ShellCheck < 0.5.0
# shellcheck disable=SC2039
if type "$terminal" >/dev/null 2>&1 ; then
exec "$terminal"
fi
done
echo "ERROR: No suitable terminal found." > /dev/stderr
echo "ERROR: No suitable terminal found." >&2