爬到大量素材后,提取一部分素材用于动画效果,但是名字各不相同,不方便js调用各张图片,于是使用javafile类,写了一小段代码,改变文件名。如果是直接修改,会产生小阔号加数字的名称,不太喜欢。
package day04;
import java.io.File;
import java.io.IOException;
public class Demon03 {
public static void main(String[] args) throws IOException {
// 放入需要改变名字的文件绝对目录
File file = new File("test\\");
changename(file);
}
// 改变目录下文件的名称
static void changename(File OldFileName) {
if (OldFileName.isDirectory()) {
File[] files = OldFileName.listFiles();
for (int i = 0; i < files.length; i++) {
// 新文件的绝对路径拼接需要改为的名称与格式
File NewFileName = new File("test\\"+"AfterFile"+i+".txt");
files[i].renameTo(NewFileName);
}
}
System.out.println("finsh");
}
}