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

18 lines
301 B
Bash

# This provides the extglob function to expand wildcards in the destdir
expand_destdir() {
local glob_list= result= glob= file=
for glob; do
glob_list+=" $DESTDIR/$glob"
done
shopt -s extglob
for file in $glob_list; do
result+=" ${file#$DESTDIR/}"
done
shopt -u extglob
echo $result
}