evan/ewconfig
1
Fork 0
Code

Add a script for launching the best terminal

Browse Source
This commit is contained in:
Evan Pratten 2024-05-17 11:59:02 -04:00
parent 06980d27f7
commit add8074468
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
scripts/ewp-best-terminal Executable file
View File

@ -0,0 +1,11 @@
#! /bin/bash
set -e
# Check for terminals in order of preference
[[ $(command -v gnome-terminal) ]] && gnome-terminal -- $@; exit 0
[[ $(command -v wt.exe) ]] && wt.exe -- $@; exit 0
[[ $(command -v mintty) ]] && mintty -- $@; exit 0
# If we get here, fail
echo "No terminal emulator found" >&2
exit 1