image - 将扩展名为 ".jpg"的一堆 PNG 图片重命名为 ".png"

Question

所以我有一个包含数千个图像文件的文件夹，所有这些文件都保存为 .jpg。

问题是其中一些文件实际上是 PNG 图像文件，因此它们无法在很多程序中打开，除非我手动将它们的扩展名更改为 .png。例如，Ubuntu 图像查看器会抛出此错误:

"Error interpreting JPEG image file (Not a JPEG file: starts with 0x89 0x50)"

我已经运行了其中一些文件的 hexdump 以确认此错误并检查出来。

我正在寻找一种简单的方法来在其他文件中找到所有扩展名错误的文件并更改它们的扩展名。例如，我将如何使用 bash 脚本执行此操作？到目前为止我还不知道。感谢所有帮助!

Answer 1

for f in *.jpg ; do
  if [[ $(file -b --mime-type "$f") = image/png ]] ; then
    mv "$f" "${f/%.jpg/.png}"
  fi
done

这会获取 .jpg 文件的列表，然后对每个文件调用 file 实用程序来获取 mime 类型。如果是 image/png，则它使用 string manipulation 重命名文件替换。