Znalezienie typu pliku zakładającego nieprawidłowe rozszerzenie

Mam archiwum zdjęć, które utrzymuję. Czasami strony, z których je ściągam, ponownie formatują plik, zachowując to samo rozszerzenie, najczęściej przekształcając obrazy PNG w pliki JPG, które nadal mają nazwy „.png”. Czy istnieje sposób, aby dowiedzieć się, kiedy to się stało, i naprawić to automatycznie?

W systemie Windows użyłem do tego IrfanView, ale to wymaga opakowania na wino.

Możesz użyć filepolecenia:

$ file file.png
file.png: PNG image data, 734 x 73, 8-bit/color RGB, non-interlaced

$ mv file.png file.txt
$ file file.txt
file.txt: PNG image data, 734 x 73, 8-bit/color RGB, non-interlaced

fileRobi kilka testów na pliku, aby określić jego typ. Prawdopodobnie najważniejszym testem jest porównanie magicznej liczby (łańcucha w nagłówku pliku) ze wstępnie zdefiniowaną listą.

Możesz spróbować użyć polecenia imagemagicks identify: http://www.imagemagick.org/script/identify.php

Przykład:

$ identify rose.jpg
rose.jpg JPEG 640x480 sRGB 87kb 0.050u 0:01