|
|
1.1 ! root 1: #print ! 2: You can now change a line of a file, using only the commands ! 3: already taught, by deleting the old line and inserting a new one. ! 4: This is not a very convenient way to do that, so there is a ! 5: command 'c' (change) which combines those operations. ! 6: 5c ! 7: input text ! 8: here. ! 9: . ! 10: will delete line 5 and replace it by the lines ! 11: ! 12: input text ! 13: here. ! 14: ! 15: Note that the text following 'c', just like the text after 'i' and ! 16: 'a', must end with a line containing just one '.' and nothing else. ! 17: This directory contains a file named 'short' ! 18: with six lines in it. Change the last line to read ! 19: ! 20: new version of last line ! 21: ! 22: and rewrite the file; then end with "ready". ! 23: #create Ref ! 24: This is a short file ! 25: which contains exactly ! 26: six lines of text ! 27: of which you are ! 28: to change the last line ! 29: new version of last line ! 30: #create short ! 31: This is a short file ! 32: which contains exactly ! 33: six lines of text ! 34: of which you are ! 35: to change the last line ! 36: this is the last line. ! 37: #user ! 38: #cmp Ref short ! 39: #log ! 40: #next ! 41: 21.1a 10
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.