图像格式转换——合理使用工具的重要性以及常用图像转换工具分析

最近需要批量将PNM格式的文件转换成GIF文件。我尝试了如下的图像转换工具：

ImageBatch：完全免费，但仅仅支持PNG JPEG BMP GIF四种格式

OfficeConverter：在线转换软件，支持所有图像格式的相互转换，大量处理图像时需要支付一定费用，否则效率低

Pixillion：支持所有格式，试用版仅仅最多支持5个文件为一组batch的处理，使用100次以后必须付费使用

由于上述工具均不能满足我的需要（不想使用付费软件），我尝试搜索PNM转GIF文件的软件包，发现可以安装Python Imaging Library （PIL）将PNM文件先转化成PNG，然后再将PNG转化为GIF。但是最简单的方法是使用imagemagick工具进行转换。在Ubuntu shell中执行如下语句即可：

sudo apt-get install imagemagick
mogrify  -format gif*.pnm