Rename a file: Difference between revisions

Line 663:
def main(args: Array[String]) {
import java.io.File
new File("myfile.txt").renameTo(new File("anotherfile.txt"))
new File("/tmp/myfile.txt").renameTo(new File("/tmp/anotherfile.txt"))
new File("mydir").renameTo(new File("anotherdir"))
new File("/tmp/mydir").renameTo(new File("/tmp/anotherdir"))
}
}