Java File renameTo方法重命名文件

From: http://beginnersbook.com/2014/07/how-to-compress-a-file-in-gzip-format/

/* 使用File的renameTo()方法重命名文件
 */

import java.io.*;

public class Exercise {
  
  public static void main(String args[]) {
    // Old file
    File oldFile = new File("/home/zjz/Desktop/myFile.txt");
    // new file
    File newFile = new File("/home/zjz/Desktop/myNewFile.txt");
    /* renameTo() return boolean value
    It return true if rename operation is successful
     */
    boolean flag = oldFile.renameTo(newFile);
    if (flag) {
      System.out.println("File renamed successfully");
    } else {
      System.out.println("Rename operation failed");
    }
  }

}