Uzantı adını bash ile bir dizede nasıl değiştirebilirim?

Question

Aşağıdaki python kodunu bash'a çevirmek istiyorum. Kod, uzantı adını .html olarak değiştirir ve açmak için Safari'yi çalıştırır.

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

Dosya uzantısını bash ile nasıl değiştirebilirim? uzantıyı bilmek edersek

Answer 1

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

Answer 2

bunu şöyle geçiş yapabilirsiniz:

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