|
|
1.1 ! root 1: #print ! 2: The undo command actually "undoes" the effects of the ! 3: last command that changed something. ! 4: So, though it is often used to recover deleted lines, ! 5: it can also be used to remove lines you just appended. ! 6: But if you decide that you really did want some lines ! 7: that you appended and then removed with 'u', ! 8: you can always issue another 'u' to get them back. ! 9: The second 'u' undoes the first 'u', and a third 'u' would ! 10: remove them again, etc. Thus 'u' is its own inverse. ! 11: ! 12: I will now put you in the editor with 'colors'. Append the lines ! 13: ! 14: grey ! 15: violet ! 16: ! 17: at the end. Then undo the append once, print the file, ! 18: and then undo the first undo. ! 19: When your're done, rewrite the file, quit, and type 'ready'. ! 20: #create Ref ! 21: red ! 22: yellow ! 23: blue ! 24: green ! 25: purple ! 26: brown ! 27: orange ! 28: grey ! 29: violet ! 30: #create colors ! 31: red ! 32: yellow ! 33: blue ! 34: green ! 35: purple ! 36: brown ! 37: orange ! 38: #copyin ! 39: #pipe ! 40: ex +'set prompt noopt open' colors ! 41: #user ! 42: #unpipe ! 43: #uncopyin ! 44: (diff Ref colors || grep '^u' .copy) > /dev/null ! 45: #log ! 46: #next ! 47: 20.01c 10
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.