Rename a file

Rename a file
You are encouraged to solve this task according to the task description, using any language you may know.

In this task, the job is to rename the file called "input.txt" into "output.txt" and a directory called "docs" into "mydocs". Assuming current directory or fullpath. Either "/input.txt" or "\input.txt" into "/output.txt" or "\output.txt" for the former and "/docs/" or "\docs\" into "/mydocs/" or "\mydocs\" for the second test.

Java

import java.util.File;
public class FileRenameTest {
   public static boolean renameFile(String oldname, String newname) {
       // File (or directory) with old name
       File file = new File(oldname);
   
       // File (or directory) with new name
       File file2 = new File(newname);
   
       // Rename file (or directory)
       boolean success = file.renameTo(file2);
       return sucess;
   }
   public static void test(String type, String oldname, String newname) {
       System.out.println("The following " + type + " called " + oldname +
           ( renameFile(oldname, newname) ? " was renamed as " : " could not be renamed into ")
           + newname + "."
       );
   }
   public static void main(String args[]) {
        test("file", "input.txt", "output.txt");
        test("file", File.seperator + "input.txt", File.seperator + "output.txt");
        test("directory", "docs", "mydocs");
        test("directory", File.seperator + "docs" + File.seperator, File.seperator + "mydocs" + File.seperator);
   }
}

Bash

 mv input.txt output.txt
 mv /input.txt /output.txt
 mv docs mydocs
 mv /docs /mydocs

DOS

 ren input.txt output.txt
 ren \input.txt \output.txt