John D Pell 550b8e33e7 Drop `basename` in favor of Bash strings ... Convert `var=$(basename $file)` to `var="${file##*/}"`		2021-09-05 17:01:56 -07:00
..
available	Drop `basename` in favor of Bash strings	2021-09-05 17:01:56 -07:00