Change file extension?

Question

What the best way is change file extension of Java?

user goes to website, I change user file extention from exe to txt example — Chen Xinhua, Oct 19 '10 at 08:36

score 4 · Answer 1 · answered Oct 19 '10 at 08:31

4

Just rename it using 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"));

}

answered Oct 19 '10 at 08:31

Manuel Selva

18,554
22
89
134

My answer works for Java where your question was originally postedand not Javascript – Manuel Selva Oct 19 '10 at 08:40
do not work !! – Chen Xinhua Oct 19 '10 at 08:47
my example is a full Java application with a main method. Just use: File f = new File("myfile.toto"); f.renameTo(new File("myfile.myext")); – Manuel Selva Oct 19 '10 at 08:54
did not know to use it. bad implementation – Chen Xinhua Oct 19 '10 at 09:00
` – njzk2 Oct 25 '21 at 18:52

score 1 · Accepted Answer · answered Oct 19 '10 at 08:54

First You should get familiar with What file extension is.

Next correct Your question, do You want only change it or how to change it.

If You only want to change it, the we can assume that the extension i really there.

But for answer how to change extension. The answer should provide information about finding one, parsing properly the string etc...

And you should also define what the best mean for You.

For me best solution would be.

1 - Retrieve the characters after after last index of '.'.

2 - Verify that string if any in defined extensions by system.

3 - If found remove it,

4 - Add to file name new extension.

score 0 · Answer 3 · edited Oct 25 '21 at 18:50

0

Using Powershell:

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

Using Unix Sed command:

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

edited Oct 25 '21 at 18:50

Tomerikoo

18,379
16
47
61

answered Oct 25 '21 at 17:21

Anj

99
5

Change file extension?

3 Answers3