diff --git a/themes/logicalhacking.zsh-theme b/themes/logicalhacking.zsh-theme index a9403d2..b9a8754 100755 --- a/themes/logicalhacking.zsh-theme +++ b/themes/logicalhacking.zsh-theme @@ -81,6 +81,17 @@ prompt_logo() { prompt_segment $1 $2 "{*λH*}" } + +prompt_dir() { + prompt_segment $1 $2 "$(promptpwd)" +} + +# Prompt: working directory +prompt_dir() { + prompt_segment $1 $2 "$(promptpwd)" +} + + # Prompt: Isabelle Version ISAVERSIONCMD="Isabelle version | sed -e 's/:.*//' -e 's/Isabelle//'" ISAVERSIONDIR="which isabelle | sed -e 's/.*Isabelle//' -e 's/.bin.*//'" @@ -104,13 +115,15 @@ prompt_isabellenv() { build_prompt() { RETVAL=$? prompt_logo $LHORANGE black + prompt_dir $LHLIGHTORANGE black prompt_end } build_inactive_prompt() { RETVAL=$? prompt_logo $LHDARKGRAY white - prompt_end + prompt_dir $LHLIGHTGRAY white + prompt_end } del-prompt-accept-line() { @@ -134,10 +147,13 @@ ISAVERSION=$ISAVERSIONDIR if [[ "$TERM" =~ ".*256.*" ]]; then LHORANGE="166" + LHLIGHTORANGE="172" LHDARKGRAY="235" LHLLIGHTGRAY="008" else LHORANGE="058" + LHLIGHTORANGE="016" LHDARKGRAY="019" LHLLIGHTGRAY="008" fi +