Dav*_*ill 4 command-line file-format eog
我有一堆带有.png扩展名的文件。但是,其中一些实际上是 gif 文件。我可以用 gimp 打开任何文件或在 Firefox 中查看它们,但是当我尝试用 Gnome 查看器打开它们时,它给出了错误
无法加载图像:读取 PNG 图像文件时发生致命错误:不是 PNG 文件
在那儿:
选择 2 是首选,但我不知道如何分辨它们是什么类型。如果有可以告诉我文件类型的命令,我将能够组合一个 Bash 脚本来进行重命名。
如果您使用(从命令行或在脚本中...如果您需要该脚本,请询问;))该命令file thisimage.png,它会告诉您实际拥有的图像格式....然后您可以相应地重命名...
这是我使用不正确的文件扩展名 .png 文件获得的示例,该文件实际上是一个 jpg 文件:
user@computer:$ file logo.png
logo.png: JPEG image data, JFIF standard 1.01
Run Code Online (Sandbox Code Playgroud)
编辑:哦,好吧,我以前很懒……这是一个脚本,它将以 .png 扩展名命名的实际 gif 文件重命名为正确的扩展名 .gif:
#!/bin/bash
for NAME in $(ls *.png); do
if [ "$(file $NAME|grep GIF)" ]; then
echo "Renaming ${NAME} to ${NAME%.*}.gif"
mv ${NAME} ${NAME%.*}.gif
fi
done
Run Code Online (Sandbox Code Playgroud)
| 归档时间: |
|
| 查看次数: |
5901 次 |
| 最近记录: |