我想将以下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更改文件扩展名？
file=somefile.whatevs
open -a Safari "${file%.*}.html"
