The program used to change the name of a file is called mv, for move. It can be used to rename a single file, or it can be used to move a bunch of files to another directory. The second version of the command under other operating systems could only be done by copying the files and then deleting the old versions of the files.