void-packages/common/environment/install/extglob.sh

19 lines
324 B
Bash
Raw Normal View History

# This provides the extglob function to expand wildcards in the destdir
expand_destdir() {
2015-11-18 10:19:09 +00:00
local result= glob= file=
2015-11-18 10:19:09 +00:00
(
set -f
for glob in $@; do
files=$(echo "${PKGDESTDIR}/${glob}")
set +f
for file in $files; do
result+="${blank}${file#$PKGDESTDIR/}"
blank=" "
done
done
echo "$result"
)
}