4cc0a2638c46cebda5bc6616fa3f94c720c5686d

Author
Fräntz Miccoli <frantz.miccoli@fakedomain.com>
Committer
ncanceill <nicolas.canceill@ens-cachan.org>
Date

Message

A paver (Python build and configuration utility) plugin

Diff

 1diff --git a/plugins/paver/paver.plugin.zsh b/plugins/paver/paver.plugin.zsh
 2new file mode 100644
 3index 0000000000000000000000000000000000000000..40bdbd12f9b46078337f839abcc4aee869fd438b
 4--- /dev/null
 5+++ b/plugins/paver/paver.plugin.zsh
 6@@ -0,0 +1,16 @@
 7+_paver_does_target_list_need_generating () {
 8+  [ ! -f .paver_targets ] && return 0;
 9+  [ pavement.py -nt .paver_targets ] && return 0;
10+  return 1;
11+}
12+
13+_paver () {
14+  if [ -f pavement.py ]; then
15+    if _paver_does_target_list_need_generating; then
16+      paver --help 2>&1 |grep '-'|grep -v -e '--'|awk -F '-' '{print $1}'|tr -d ' ' > .paver_targets
17+    fi
18+    compadd `cat .paver_targets`
19+  fi
20+}
21+
22+compdef _paver paver