mirror of
https://github.com/ohmyzsh/ohmyzsh.git
synced 2026-04-03 04:20:01 +02:00
Merge remote-tracking branch 'upstream/master'
This commit is contained in:
commit
240e08bacb
390 changed files with 23279 additions and 1968 deletions
|
|
@ -1,16 +1,13 @@
|
|||
_phing_does_target_list_need_generating () {
|
||||
if [ ! -f .phing_targets ]; then return 0;
|
||||
else
|
||||
accurate=$(stat -f%m .phing_targets)
|
||||
changed=$(stat -f%m build.xml)
|
||||
return $(expr $accurate '>=' $changed)
|
||||
fi
|
||||
[ ! -f .phing_targets ] && return 0;
|
||||
[ build.xml -nt .phing_targets ] && return 0;
|
||||
return 1;
|
||||
}
|
||||
|
||||
_phing () {
|
||||
if [ -f build.xml ]; then
|
||||
if _phing_does_target_list_need_generating; then
|
||||
phing -l |grep -v ":" |grep -v "^$"|grep -v "\-" > .phing_targets
|
||||
phing -l|grep -v "\[property\]"|grep -v "Buildfile"|sed 1d|grep -v ":$" |grep -v "^\-*$"|awk '{print $1}' > .phing_targets
|
||||
fi
|
||||
compadd `cat .phing_targets`
|
||||
fi
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue