9db8042c465faec4bc9ff591fe02e50694ab5c08

Author
Claus Witt <claus@wittnezz.dk>
Committer
Claus Witt <claus@wittnezz.dk>
Date

Message

Added phing plugin

Diff

 1diff --git a/plugins/phing/phing.plugin.zsh b/plugins/phing/phing.plugin.zsh
 2new file mode 100644
 3index 0000000000000000000000000000000000000000..80e33462952f42d6533b09583b5dfb00fefda1c0
 4--- /dev/null
 5+++ b/plugins/phing/phing.plugin.zsh
 6@@ -0,0 +1,20 @@
 7+_phing_does_target_list_need_generating () {
 8+  if [ ! -f .phing_targets ]; then return 0;
 9+  else
10+    accurate=$(stat -f%m .phing_targets)
11+    changed=$(stat -f%m build.xml)
12+    return $(expr $accurate '>=' $changed)
13+  fi
14+}
15+
16+_phing () {
17+  if [ -f build.xml ]; then
18+    if _phing_does_target_list_need_generating; then
19+      echo "\nGenerating .phing_targets..." > /dev/stderr
20+      phing -l |grep -v ":" |grep -v "^$"|grep -v "\-" > .phing_targets
21+    fi
22+    compadd `cat .phing_targets`
23+  fi
24+}
25+
26+compdef _phing phing