Shell/Renaming a File
From Coder Merlin
Within these castle walls be forged Mavens of Computer Science ...
— Merlin, The Coder
Renaming a File[edit]
We can rename a file with the mv (move) command. Let's try it:
john-williams@codermerlin:~$ echo "Hello" > hello.txt
john-williams@codermerlin:~$ ls
john-williams@codermerlin:~$ mv hello.txt goodbye.txt
john-williams@codermerlin:~$ ls