[解決済み] ディレクトリ内の全ファイルの名前を$filename_hから$filename_halfに変更しますか？

質問

シンプルに

名前を変更するには

05_h.png
06_h.png

になります。

05_half.png
06_half.png

少なくとも、単純なことだと思うのですが、この手のことはすでに知っている人でないとググりにくいですよね。

ありがとうございます...。

解決方法は？

外部コマンドを呼び出す必要がなく、bashを使用するだけです。

for file in *_h.png
do
  mv "$file" "${file/_h.png/_half.png}"
done

を追加しないでください。 #!/bin/sh

その一言を必要とする人のために。

for file in *.png; do mv "$file" "${file/_h.png/_half.png}"; done