diff options
| author | Pavol Juhas <pavol.juhas@gmail.com> | 2014-03-17 19:48:10 -0400 |
|---|---|---|
| committer | Pavol Juhas <pavol.juhas@gmail.com> | 2014-03-17 19:48:10 -0400 |
| commit | 6952105bfe1fd4121fd355dc5f8ec5e03de5541c (patch) | |
| tree | 604e65e52df88e28f99f49b939aa9547eb009b1c /plugins/cabal | |
| parent | ed19ffee5ecc0db6617c1ae753e515d60cb486c6 (diff) | |
| parent | ca900216302aa1138c793971cf877b5d4e88fb06 (diff) | |
| download | zsh-6952105bfe1fd4121fd355dc5f8ec5e03de5541c.tar.gz zsh-6952105bfe1fd4121fd355dc5f8ec5e03de5541c.tar.bz2 zsh-6952105bfe1fd4121fd355dc5f8ec5e03de5541c.zip | |
Merge branch 'master' of https://github.com/robbyrussell/oh-my-zsh
Diffstat (limited to 'plugins/cabal')
| -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 |