diff options
Diffstat (limited to 'plugins/paver')
| -rw-r--r-- | plugins/paver/README.md | 12 | ||||
| -rw-r--r-- | plugins/paver/paver.plugin.zsh | 6 |
2 files changed, 15 insertions, 3 deletions
diff --git a/plugins/paver/README.md b/plugins/paver/README.md new file mode 100644 index 000000000..c38d898ba --- /dev/null +++ b/plugins/paver/README.md @@ -0,0 +1,12 @@ +# Paver + +This plugin adds completion for the `paver` command-line tool of [Paver](https://pythonhosted.org/Paver/). + +To use it, add `paver` to the plugins array of your zshrc file: +```zsh +plugins=(... paver) +``` + +The completion function creates a cache of paver tasks with the name `.paver_tasks`, +in the current working directory. It regenerates that cache when the `pavement.py` +changes. diff --git a/plugins/paver/paver.plugin.zsh b/plugins/paver/paver.plugin.zsh index 40bdbd12f..7e70ea37c 100644 --- a/plugins/paver/paver.plugin.zsh +++ b/plugins/paver/paver.plugin.zsh @@ -1,7 +1,7 @@ _paver_does_target_list_need_generating () { - [ ! -f .paver_targets ] && return 0; - [ pavement.py -nt .paver_targets ] && return 0; - return 1; + [ ! -f .paver_targets ] && return 0 + [ pavement.py -nt .paver_targets ] && return 0 + return 1 } _paver () { |