さまざまな種類のファイルを含むフォルダがあります。.pdf、.jpg、.png、マイナーな争いなどですが、すべて拡張子と呼ばれています。.JPG。元の拡張子に名前を変更するにはどうすればよいですか?つまりPDF到着PDF、些細な口論到着些細な口論など。
以下のファイル形式を見つけることができます。
file 99.jpg
99.jpg: PDF document, version 1.3
これを行うために使用できるスクリプトまたはプログラムはありますか?
ベストアンサー1
以下で見つけたMIMEタイプを使用できますfile
。
#! /usr/bin/env bash
for f in ./*.JPG; do
type=$(file -bi "$f")
type=${type%%;*}
base=${f%.*}
final=
case "$type" in
application/pdf) final="$base".pdf ;;
image/png) final="$base".png ;;
image/tiff) final="$base".tiff ;;
esac
if [ "$final" ]; then
printf '%s --> %s\n' "$f" "$final"
# mv -f "$f" "$final"
fi
done
case
必要に応じてより多くのタイプを追加できます(ただし、image/jpeg
JPEGファイルにはすでに正しい拡張子があるため省略されています)。変更を確認し、mv
結果に満足したら、その行のコメントを外してください。