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 07546fd34..c6c0a7ac1 100644 --- a/themes/agnoster.zsh-theme +++ b/themes/agnoster.zsh-theme @@ -212,6 +212,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=$? @@ -220,6 +229,7 @@ build_prompt() {    prompt_context    prompt_dir    prompt_git +  prompt_cabal_sandbox    prompt_bzr    prompt_hg    prompt_end  | 
