Added logo to prompt and initial color setup.

This commit is contained in:
Achim D. Brucker 2017-07-09 22:18:17 +01:00
parent 92f022e970
commit 41823a0bef
1 changed files with 14 additions and 0 deletions

View File

@ -103,10 +103,14 @@ prompt_isabellenv() {
# Prompt Setup and key bindings
build_prompt() {
RETVAL=$?
prompt_logo $LHORANGE black
prompt_end
}
build_inactive_prompt() {
RETVAL=$?
prompt_logo $LHDARKGRAY white
prompt_end
}
del-prompt-accept-line() {
@ -127,3 +131,13 @@ INACTIVEPROMPT='%{%f%b%k%}$(build_inactive_prompt) '
# Default configuration
SEGMENT_SEPARATOR=$PL_BRARROW
ISAVERSION=$ISAVERSIONDIR
if [[ "$TERM" =~ ".*256.*" ]]; then
LHORANGE="166"
LHDARKGRAY="235"
LHLLIGHTGRAY="008"
else
LHORANGE="058"
LHDARKGRAY="019"
LHLLIGHTGRAY="008"
fi