diff options
Diffstat (limited to 'themes')
| -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 518a14a37..05a50cd2b 100644 --- a/themes/agnoster.zsh-theme +++ b/themes/agnoster.zsh-theme @@ -223,6 +223,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 +} + #AWS Profile: # - display current AWS_PROFILE name # - displays yellow on red if profile name contains 'production' or @@ -245,6 +254,7 @@ build_prompt() { prompt_context prompt_dir prompt_git + prompt_cabal_sandbox prompt_bzr prompt_hg prompt_end |