Tìm loại tệp giả sử mở rộng sai

Tôi có một kho lưu trữ hình ảnh tôi theo kịp. Đôi khi, các trang web tôi kéo chúng từ định dạng lại tệp trong khi vẫn giữ nguyên phần mở rộng, thường xuyên tạo các hình ảnh PNG thành JPG vẫn được đặt tên là ".png". Có cách nào để khám phá khi điều này xảy ra và tự động sửa nó không?

Khi ở trên Windows, tôi đã sử dụng IrfanView cho việc này, nhưng điều đó cần một trình bao bọc Wine.

Bạn có thể sử dụng filelệnh:

$ 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

Không filecó một số thử nghiệm trên tập tin để xác định loại của nó. Có lẽ thử nghiệm quan trọng nhất là so sánh một số ma thuật (chuỗi trong tiêu đề tệp) với danh sách được xác định trước.

Bạn có thể thử lệnh xác định hình ảnh: http://www.imagemagick.org/script/identify.php

Thí dụ:

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