1
0
mirror of https://github.com/Mayccoll/Gogh.git synced 2023-08-10 21:12:46 +03:00

Merge pull request #150 from jphager2/allow_terminal_to_be_set

Allow TERMINAL to be set by environment
This commit is contained in:
Mayccoll 2018-10-13 14:51:18 -05:00 committed by GitHub
commit cfd8b4924a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -102,16 +102,18 @@ set_theme() {
# |
# | Check for the terminal name (depening on os)
# | ===========================================
OS=$(uname)
if [ "$OS" = "Darwin" ]; then
# |
# | Check for the terminal name and decide how to apply
# | ===========================================
TERMINAL=$TERM_PROGRAM
elif [ "${OS#CYGWIN}" != "${OS}" ]; then
TERMINAL="mintty"
else
TERMINAL="$(ps -p $(ps -p $(ps -p $$ -o ppid=) -o ppid=) -o args=)"
if [[ -z "$TERMINAL" ]]; then
OS=$(uname)
if [ "$OS" = "Darwin" ]; then
# |
# | Check for the terminal name and decide how to apply
# | ===========================================
TERMINAL=$TERM_PROGRAM
elif [ "${OS#CYGWIN}" != "${OS}" ]; then
TERMINAL="mintty"
else
TERMINAL="$(ps -p $(ps -p $(ps -p $$ -o ppid=) -o ppid=) -o args=)"
fi
fi
# |