近期须要批量将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
