Как изменить имя расширения в строке с помощью bash?

Я хочу перевести следующий код 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?