Comment puis-je changer le nom de l'extension dans une chaîne avec bash?

Question

Je veux traduire le code python suivant en bash. Le code modifie le nom de l'extension en .html et exécute Safari pour l'ouvrir.

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

Comment puis-je changer l'extension du fichier avec bash?

Answer 1

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

Answer 2

Si vous connaissez l'extension que vous pouvez passer comme ceci:

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