Я нашел следующий «трюк», чтобы получить имя файла и его расширение.
filename="my file.ext"
name=${filename%.*}
ext=${filename#*.}
Не могли бы вы объяснить эти ${filename%.*}
и ${filename#*.}
вещи и дать ссылку на соответствующую документацию?