批量修改图片文件大小的工具

百度上找了个批量修改图片大小的工具，试用了一下，感觉不错的。
上传上来进行分享，大家好处理图片的