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
