title: How can I change the extension name in a string with bash?
body: <p>I want to translate the following python code to bash. The code changes the extension name to .html and runs Safari to open it. </p>
  
  <pre><code>#!/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)
  </code></pre>
  
  <p>How can I change the file extension with bash?</p>