2021-09-14 编程 复制文件用户名文件变更

/*
1、将当前目录下的所有文件都复制一份，复制的文件命名为：源文件名_cp.后缀
比如：源文件名为test.txt，则复制后的为test_cp.txt
 */

public static void m11()throws IOException{
        File[] file = new File("./src/TXT").listFiles((pathname)->pathname.isFile());
        for(int i=0; i<file.length; i++) {
            RandomAccessFile from = new RandomAccessFile(file[i],"r");
//↓定义一个name去接收file的名字，StringBuilder可以修改
            StringBuilder name = new StringBuilder(file[i].getName());
//↓在name中插入，在最后一个.的下标前插入_cp 即a.txt -> a_cp.txt
            RandomAccessFile into = new RandomAccessFile("./src/TXT_cp/"+name.insert(name.lastIndexOf("."),"_cp"), "rw");
            byte data[] = new byte[1024 * 10];
            int len;
        while ((len = from.read(data)) != -1) {
            into.write(data, 0, len);
        }
        from.close();
        into.close();
    }

}

/*
2、完成修改昵称的功能
程序启动后，要求用户输入用户名和新昵称，然后修改user.txt文件中该用户的昵称
如果输入的用户不存，则输出查无此人。
 */

public static void m22()throws IOException{
    Scanner sc = new Scanner(System.in);
    System.out.print("请输入账号：");
    String userid = sc.next();
    RandomAccessFile raf = new RandomAccessFile("./src/TXT