![[BACK]](/icons/back.gif){kind=icon}
Parent Directory![[TXT]](/icons/text.gif){kind=icon}
record_shell_commands.txtClick on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [LON-CAPA] / doc / techtips
Current tag: stable_2002_spring
| File | Rev. | Age | Author | Last log entry | |
|---|---|---|---|---|---|
| Parent Directory |
|||||
| record_shell_commands.txt |
1.1 | 22 years | harris41 | how to record the times and increase the history file size for bash shell comman... | |