(Created page with "== Renaming a File == We can rename a file with the '''mv''' (move) command. Let's try it: {{ConsoleLine|john-williams@codermerlin:~$ |echo "Hello" > hello.txt }} {{ConsoleLi...") |
(No difference)
|
Revision as of 10:21, 23 November 2021
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