diff options
| author | Robby Russell <robby@planetargon.com> | 2014-02-25 20:27:51 -0800 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2014-02-25 20:27:51 -0800 |
| commit | 6b3c9537754b4a2180648258341ae2d7ca203d1e (patch) | |
| tree | 93ff44d4df1d83ac3c3f14637e771c37b23c9c7b /plugins/cabal/cabal.plugin.zsh | |
| parent | 6cc240811fd5756a7e2fd1a79ac529ca5f284e1d (diff) | |
| parent | 74ad998ad0c9452814cbc38e3efc7c0670b7496a (diff) | |
| download | zsh-6b3c9537754b4a2180648258341ae2d7ca203d1e.tar.gz zsh-6b3c9537754b4a2180648258341ae2d7ca203d1e.tar.bz2 zsh-6b3c9537754b4a2180648258341ae2d7ca203d1e.zip | |
Merge branch 'master' of github.com:robbyrussell/oh-my-zsh
Diffstat (limited to 'plugins/cabal/cabal.plugin.zsh')
| -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 |