Удалить расширение файла case-insentively in Bash

если вы хотите удалить расширение в bash, вы можете сделать это без внешних инструментов. Затем передайте его basename:

$ f=/path/to/some/file.foo.bar
$ basename "${f%.*}"
file.foo

со смешанным расширением:

$ f=/path/to/some/file.foo.Bar
$ basename "${f%.*}"
file.foo

здесь % is строковые манипуляции. Это удалит самую короткую подстроку из того, что находится в f. The .* соответствует точке и нулю или более символов, независимо от их регистра.