John D Pell 470341b23a Drop `basename` in favor of Bash strings ... Convert `var=$(basename $file)` to `var="${file##*/}"`		2021-09-16 16:59:02 -07:00
..
available	Drop `basename` in favor of Bash strings	2021-09-16 16:59:02 -07:00