Batch

因为写博客的时候有时会上传图片，但是不压缩图片的话打开就会巨慢，所以还要手动压缩一下图片。一开始在windows下用的是riot，具体压缩效果不是特别清楚总之变小了就对了。在ubuntu下一直是用gimp的batch工具箱，但是用起来还是很蛋疼，每次都要输入很多重复的参数，点来点去……特别是在那次制作开机动画的时候愤怒值到了极点（因为它不支持递归操作……）

不过其实需求并没有这么复杂，只要生成宽度为400的缩略图，然后文件名加后缀“_thumb”就行了。我想这也不算什么很难的事情么，就动手google一下脚本怎么写……嗯，然后一个下午就没了。