这个脚本可以批量修改当前文件夹下面的jpg图片文件名。主要是为了方便android开关机动画文件名字格式化,格式文件名为4位数,不足4位以0补足,如:0001.jpg,0010.jpg,0110.jpg