ファイルの拡張子を一括で変更するにはどうすればいいでしょうか。

Question

ディレクトリ内に多くの*.htmlファイルがあります。
bash shellを使って
このディレクトリ内のhtmlファイル全てを、*.txtという名前に変更したいと思っています。

どうやって実装すればよいのでしょうか

Answer 1

(確認: mv の前に echo)
for file in *.html ; do echo mv $file ${file/%.html/.txt} ; done

(実行)
for file in *.html ; do mv $file ${file/%.html/.txt} ; done

Answer 2

ワンライナー作ってみました

ls *.html|sed 's/.html//'|xargs -I{} mv {}.html {}.txt

Answer 3

以下のようにすれば良いのではないでしょうか

for hogefile in *.html; do
mv "$hogefile" "`basename $hogefile .html`.txt"
done