How can I change the extension name in a string with bash?

Question

I want to translate the following python code to bash. The code changes the extension name to .html and runs Safari to open it.

#!/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)

How can I change the file extension with bash?

question from:https://stackoverflow.com/questions/4411080/how-can-i-change-the-extension-name-in-a-string-with-bash

Answer 1

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