如何使用bash更改字符串中的扩展名？

Question

我想将以下python代码翻译为bash.代码将扩展名更改为.html并运行Safari以打开它.

#!/usr/bin/env python
import os.path
import os

oldName = $TM_FILEPATH
(name, ext) = os.path.splitext(oldName)
rename = name + ".html"
os.system("open -a Safari %s" % rename)

如何使用bash更改文件扩展名？

Answer 1

file=somefile.whatevs
open -a Safari "${file%.*}.html"

Answer 2

如果您碰巧知道扩展名，您可以像这样切换它：

$ MY_FILE=file.html
$ NEW_EXT=${MY_FILE/html/php}
$ echo ${NEW_EXT}
file.php