適切な拡張子を含むビデオと画像

適切な拡張子を含むビデオと画像

最近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

おすすめ記事