爬到大量素材后,提取一部分素材用于动画效果,但是名字各不相同,不方便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");
	}
}