|
|
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.