use pure bash to convert filename to lowercase much more elegant than creating a local var and echoing to awk
use pure bash to convert filename to lowercase
much more elegant than creating a local var and echoing to awk

xvoland/Extract