Browse Source

Merge branch 'master' of github.com:clauswitt/oh-my-zsh

master
Claus Witt 14 years ago
parent
commit
1d75dfc32f
  1. 19
      plugins/ant/ant.plugin.zsh

19
plugins/ant/ant.plugin.zsh

@ -0,0 +1,19 @@ @@ -0,0 +1,19 @@
_ant_does_target_list_need_generating () {
if [ ! -f .ant_targets ]; then return 0;
else
accurate=$(stat -f%m .ant_targets)
changed=$(stat -f%m build.xml)
return $(expr $accurate '>=' $changed)
fi
}
_ant () {
if [ -f build.xml ]; then
if _ant_does_target_list_need_generating; then
sed -n '/<target/s/<target.*name="\([^"]*\).*$/\1/p' build.xml > .ant_targets
fi
compadd `cat .ant_targets`
fi
}
compdef _ant ant
Loading…
Cancel
Save