void-packages/common/environment/install/extglob.sh
2015-11-18 11:19:09 +01:00

19 lines
324 B
Bash

# This provides the extglob function to expand wildcards in the destdir
expand_destdir() {
local result= glob= file=
(
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"
)
}