#----------------------------------------------------------------------
# File functions.
# Expand a wildcard into a list of filenames.
function wildcard (wc) = {
#----------------------------------------------------------------------
# File functions.
# Expand a wildcard into a list of filenames.
function wildcard (wc) = {
shopt -s nullglob
# Note that the substitution is quoted by goals, so to expand
# it we must assign it to a variable and then use it unquoted.
wc=%wc
echo '['
for f in $wc; do
shopt -s nullglob
# Note that the substitution is quoted by goals, so to expand
# it we must assign it to a variable and then use it unquoted.
wc=%wc
echo '['
for f in $wc; do