java - 更改文件扩展名？

Question

最好的方法是更改​​ Java 的文件扩展名？

Answer 1

只需使用File.renameTo(String name)重命名它：

 public static void main(String[] argv) throws IOException {

// Construct the file object from existing file.
File f = new File("myfile.toto"); 

// Rename it
f.renameTo(new File("myfile.myext"));

}

Answer 2

首先你应该熟悉什么是文件扩展名。

接下来更正您的问题，您只想更改它还是如何更改它。

如果您只想更改它，我们可以假设扩展名 i 确实存在。

但是要回答如何更改扩展名。答案应该提供有关找到一个、正确解析字符串等的信息......

你还应该定义对你来说最好的意义。

对我来说最好的解决方案是。

1 - 检索“.”的最后一个索引之后的字符。

2 - 验证系统定义的扩展中是否存在该字符串。

3 - 如果发现删除它，

4 - 添加到文件名新扩展名。

Answer 3

使用 Powershell：

cat abc.data | %{$_ -replace " ",","} | sc abc.csv  

使用 Unix Sed 命令：

sed 's/ /,/g' abc.data > abc.csv