Copied from http://exampledepot.8waytrips.com/egs/java.io/RenameFile.html // File (or directory) with old name File file = new File(“oldname”); // File (or directory) with new name File file2 = new File(“newname”); if (file2.exists()) throw new java.io.IOException(“file exists”); // Rename file (or directory) boolean success = file.renameTo(file2); if (!success) { // File was not successfully renamed } To append to … Read more
Use os.rename(src, dst) to rename or move a file or a directory. $ ls cheese_cheese_type.bar cheese_cheese_type.foo $ python >>> import os >>> for filename in os.listdir(“.”): … if filename.startswith(“cheese_”): … os.rename(filename, filename[7:]) … >>> $ ls cheese_type.bar cheese_type.foo
If using bash, there’s no need for external commands like sed, basename, rename, expr, etc. for file in *.html do mv “$file” “${file%.html}.txt” done
Use os.rename: import os os.rename(‘a.txt’, ‘b.kml’) Usage: os.rename(‘from.extension.whatever’,’to.another.extension’)
Starting Git 2.0.1 (June 25th, 2014), a git mv will just work on a case-insensitive OS. See commit baa37bf by David Turner (dturner-tw). mv: allow renaming to fix case on case-insensitive filesystems “git mv hello.txt Hello.txt” on a case-insensitive filesystem always triggers “destination already exists” error, because these two names refer to the same path … Read more