
.JPG
たとえば、ファイルの名前を.jpg
同時に変更する最適な方法は何ですか。
ここと Google で調べたところ、以下のようなことが見つかりましたが、両方をカバーする方法はありますか?
脚本:
for i in *.jpg; do mv -i "$i" ${RANDOM}${RANDOM}.jpg; done
答え1
ファイル名の拡張を区別しないように設定するだけです:
shopt -s nocaseglob
そして、スクリプトは *.jpg と *.JPG の両方に適合します。
for i in *.jpg; echo $i; done
file.jpg
file.JPG
file.Jpg
答え2
はい、下記の両方のコマンドをimage_change.shのような拡張子.shのファイルに入れて、コマンドラインからsh image_change.shを実行できます。
for i in *.jpg; do mv -i "$i" ${RANDOM}${RANDOM}.jpg; done;
for i in *.JPG; do mv -i "$i" ${RANDOM}${RANDOM}.jpg; done;