Bash 拡張子を置き換えたい

bashでは、簡単に記述できるのだが、 何度書いても記述法方を記憶できない。

code

textf="foo.txt"
htmlf=${textf%.*}.html
echo $htmlf

(例)拡張子置き換え処理でよく使うイディオム

for textf in *.txt
do
    htmlf=${textf%.*}.html
    echo $htmlf
    #mv $textf $htmlf
done

関連

• javaで拡張子を置き換える場合
• jythonで拡張子を置き換える場合