|
|
1.1 root 1: #print
2: When you are done with something, you will want to know
3: how to get rid of the file it is on. The command
4: for that is "rm" (remove). For example
5: rm junk
6: throws away the file named "junk". Once it
7: is gone, it is really gone - there is no way
8: to "undo" a remove command. Hence this command
9: should be used with caution.
10: In this directory there is one file named
11: for a baseball player. Remove it.
12: Then type "ready".
13: #create kernighan
14: #create yastrzemski
15: #user
16: if (!(! -r yastrzemski && -r kernighan)) exit(1)
17: #log
18: #next
19: 11.1a 10
20: 11.2a 5
21: 11.3a 2
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.