extglob.sh (324B)
1# This provides the extglob function to expand wildcards in the destdir 2 3expand_destdir() { 4 local result= glob= file= 5 6 ( 7 set -f 8 for glob in $@; do 9 files=$(echo "${PKGDESTDIR}/${glob}") 10 set +f 11 for file in $files; do 12 result+="${blank}${file#$PKGDESTDIR/}" 13 blank=" " 14 done 15 done 16 echo "$result" 17 ) 18}