How can I change the extension name in a string with bash? July 28, 2023 by Tarik file=somefile.whatevs open -a Safari "${file%.*}.html"