用 awk 实现批量转换图片

用 gtk 写了一个画花的程序，觉得“错”画出来的图形相当好看，于是保存了很多截图。但是由于截图是 png 格式的，而让我无语的是 blog.csdn.net 等网站居然不支持 png 格式，不得已只有转换成 gif 格式了。转换可以用命令 convert image.png image.gif 实现。现在问题是有很多图片，于是想到用 awk 来实现。

awk 代码如下：

# convert .png image to .gif image
# 2005.4.12 BenBear
#
# usage:
#   ls | awk -fpng2gif.awk
#
# need: 
#   bash
#   convert
#

$0~//.png$/ {
  gif = substr ($0, 0, length($0)-4) ".gif";
  system ("test -r " gif " || convert " $0 " " gif);
}

$0~//.png$/ 是匹配以 .png 结束的行，也即扩展名为 .png 的文件，即 png 图片。然后从 $0 求得 gif 文件的名字。system 执行的是，如果存在 gif 图片，则不执行后面的 convert 命令；否则，convert 进行转换。