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?

Answer 1

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

Answer 2

If you happen to know the extension you can switch it like this:

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