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");
}
}
}