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: 
    file=somefile.whatevs
    open -a Safari "${file%.*}.html"
    

