blob: e76c627aa5810ed54ee2452a460232599c5d10a6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#print
The way to get rid of a file you are finished with
is with the "rm" (remove) command. For example,
rm junk
will get rid of the file named "junk".
In this directory there is a file named "harry" -
remove it.
Then type "ready".
#create harry
#user
test ! -r harry
#log
#next
10.2b 5
10.3a 2
|
