java - Java：重命名文件系统中的文件（修剪扩展名）

Question

我正在尝试使用这种方式修剪文件系统中的文件扩展名：

private void passingFileRename(File f) throws Exception 
{
  String filename = f.getName();
  String ext = ".txt";

  File newfile = new File(filename.substring(0, filename.length() - ext.length()));
  f.renameTo(newfile); 
}

但它不起作用，我得到了filenamebutrenameTo方法似乎被锁定或什么的..我做错了什么？

Answer 1

请看这个问题。看起来Java的file.renameTo(file)问题很大。