diff options
| author | Robby Russell <robby@planetargon.com> | 2014-02-19 18:23:30 -0800 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2014-02-19 18:23:30 -0800 |
| commit | 500cbbc79bf407f6a7933d9a8376c1bef2fb7ea9 (patch) | |
| tree | 156949c2fdc47b76ef79b3653296b459a70fdd71 | |
| parent | 861290e40b74b090495182f2f3730a27896b4dc5 (diff) | |
| parent | 358b6ffcde9e3732ed08387fc176851e07c1862f (diff) | |
| download | zsh-500cbbc79bf407f6a7933d9a8376c1bef2fb7ea9.tar.gz zsh-500cbbc79bf407f6a7933d9a8376c1bef2fb7ea9.tar.bz2 zsh-500cbbc79bf407f6a7933d9a8376c1bef2fb7ea9.zip | |
Merge pull request #2541 from puffnfresh/cabal-sandboxes-info
Add cabal_sandbox_info function
| -rw-r--r-- | plugins/cabal/cabal.plugin.zsh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/plugins/cabal/cabal.plugin.zsh b/plugins/cabal/cabal.plugin.zsh index 8d3c64587..9f76add7a 100644 --- a/plugins/cabal/cabal.plugin.zsh +++ b/plugins/cabal/cabal.plugin.zsh @@ -1,3 +1,14 @@ +function cabal_sandbox_info() { + cabal_files=(*.cabal(N)) + if [ $#cabal_files -gt 0 ]; then + if [ -f cabal.sandbox.config ]; then + echo "%{$fg[green]%}sandboxed%{$reset_color%}" + else + echo "%{$fg[red]%}not sandboxed%{$reset_color%}" + fi + fi +} + function _cabal_commands() { local ret=1 state _arguments ':subcommand:->subcommand' && ret=0 |