diff options
Diffstat (limited to 'themes/agnoster.zsh-theme')
| -rw-r--r-- | themes/agnoster.zsh-theme | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/themes/agnoster.zsh-theme b/themes/agnoster.zsh-theme index da1f9b6e6..c6ded38d8 100644 --- a/themes/agnoster.zsh-theme +++ b/themes/agnoster.zsh-theme @@ -190,6 +190,15 @@ prompt_status() { [[ -n "$symbols" ]] && prompt_segment black default "$symbols" } +prompt_cabal_sandbox() { + cabal_files=(*.cabal(N)) + if [ $#cabal_files -gt 0 ]; then + if [ -f cabal.sandbox.config ]; then + prompt_segment cyan black "sandbox" + fi + fi +} + ## Main prompt build_prompt() { RETVAL=$? @@ -198,6 +207,7 @@ build_prompt() { prompt_context prompt_dir prompt_git + prompt_cabal_sandbox prompt_hg prompt_end } |