近期须要批量将PNM格式的文件转换荿GIF文件我尝试了例如以下的图像转换工具：

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

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

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