diff options
| author | Rafael Cavalcanti <rccavalcanti@users.noreply.github.com> | 2017-12-19 07:50:27 -0200 |
|---|---|---|
| committer | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2017-12-19 10:50:27 +0100 |
| commit | cb36bf3c17f47f7c7a67eb84214501f2897ed7c1 (patch) | |
| tree | 2f928a2146c80fd0c48b66c784e65549f2ce13e8 | |
| parent | e9532f584fe014bd06c6d6595335618e2fccdaec (diff) | |
Add konsole to rofi-sensible-terminal (#739)
| -rwxr-xr-x | script/rofi-sensible-terminal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/rofi-sensible-terminal b/script/rofi-sensible-terminal index ef29de1a..6c5ac996 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 termite urxvt rxvt st terminator terminology qterminal Eterm aterm uxterm xterm gnome-terminal roxterm xfce4-terminal mate-terminal lxterminal; do +for terminal in $TERMINAL x-terminal-emulator termite urxvt rxvt st terminator terminology qterminal Eterm aterm uxterm xterm gnome-terminal roxterm xfce4-terminal mate-terminal lxterminal konsole; do if command -v $terminal > /dev/null 2>&1; then exec $terminal "$@" fi |