(Created page with "== Deleting a File == We can delete a file with the '''rm''' (remove) command. Let's try it: {{ConsoleLine|john-williams@codermerlin:~$ |echo "Hello" > hello.txt }} {{Console...") |
(No difference)
|
Revision as of 10:21, 23 November 2021
Within these castle walls be forged Mavens of Computer Science ...
— Merlin, The Coder
Deleting a File[edit]
We can delete a file with the rm (remove) command. Let's try it:
john-williams@codermerlin:~$ echo "Hello" > hello.txt
john-williams@codermerlin:~$ ls
john-williams@codermerlin:~$ rm hello.txt
john-williams@codermerlin:~$ ls