
最近iPhoneからWindows 10に写真(およびビデオ)をインポートしました。奇妙な理由で、多くの画像やビデオのファイル拡張子が変更されました。つまり、2022_001.movは実際には画像であり、2022_002.jpgは実際にはビデオです。これはかなりランダムで普遍的なケースではありません。私はWindowsを使用しているので、拡張子が変更されるまでファイルを実際に使用することはできません。
このシステムにはWSLがあります。この問題を解決し、ファイル名を正しく変更する方法はありますか?おそらくbashスクリプトを介してですか?
以下の回答で投稿するスクリプトを作成しましたが、より良い方法があるかもしれません。
答え1
私は私の問題を解決するためにこのスクリプトを書くようになりました。
#! /usr/bin/bash
for file in ./*
do
fileName=$(basename -- "$file")
fileName="${fileName%.*}"
ext="${file##*.}"
fileType=$(file "$file")
if [[ $ext == "JPG" ]]; then
if echo "$fileType" | grep -q "Apple QuickTime"; then
mv "$file" "$fileName.mov"
fi
fi
if [[ $ext == "MOV" ]]; then
if echo "$fileType" | grep -q "JPEG"; then
mv "$file" "$fileName.jpg"
fi
fi
done