| 1 | The C script is not complete; use at your own risk. |
| 2 | |
| 3 | Lessons are in |
| 4 | /usr/lib/learn/* |
| 5 | Source is in |
| 6 | /usr/src/cmd/learn |
| 7 | Miscellaneous supporting code is also in source. |
| 8 | |
| 9 | Make a learn by |
| 10 | make |
| 11 | When this seems right, extract the lessons by |
| 12 | make lessons |
| 13 | This extracts the lesson archives |
| 14 | for each course. You can also do this one step at a |
| 15 | time with "make files", "make editor", etc., |
| 16 | if you don't want all courses. |
| 17 | If you do things separately, you must also say |
| 18 | make play; make log |
| 19 | |
| 20 | Finally, check that it's sensible with |
| 21 | make check |
| 22 | If that doesn't print any messages, |
| 23 | you're probably in good shape. |
| 24 | |
| 25 | Learn requires general write permission on the user playpen |
| 26 | directory .../lib/play. Lesson directories may be protected. |
| 27 | |
| 28 | Learn collects a log file for each script in the .../lib/log |
| 29 | directory, with a file for each script (files, |
| 30 | editor, etc.) containing an entry for each lesson |
| 31 | attempted. These files will grow without bound, |
| 32 | unless they are periodically truncated. |
| 33 | The log files should have general write permission. |
| 34 | If you don't want logging (a sensible position to take), |
| 35 | set the variable "logging" to zero in source/lrndef |
| 36 | before making learn. |
| 37 | |
| 38 | Learn requires about 1500 blocks to make itself, |
| 39 | and about 1000 when completely made. |
| 40 | |
| 41 | Please report problems, bad lessons, etc., to |
| 42 | Brian Kernighan, MH 6021, 2C-518, or |
| 43 | Mike Lesk, MH 6377, 2C-572. Thanks. |