|
|
1.1 ! root 1: #print ! 2: Now that you know how to delete lines, ! 3: you may eventually delete some by mistake. ! 4: If you just deleted some lines, you can always recover them ! 5: with the 'u' command. For example, ! 6: ! 7: 1,5d ! 8: u ! 9: ! 10: will delete the first 5 lines and then 'undo' that change. ! 11: ! 12: I will put you in the editor with a file called 'colors'. ! 13: Print its contents, then delete the first 5 lines ! 14: and issue the 'undo' command. Print the ! 15: file again to make sure that it's all there, rewrite the file, ! 16: quit, and type 'ready'. ! 17: #create Ref ! 18: red ! 19: yellow ! 20: blue ! 21: green ! 22: purple ! 23: brown ! 24: orange ! 25: #create colors ! 26: red ! 27: yellow ! 28: blue ! 29: green ! 30: purple ! 31: brown ! 32: orange ! 33: #copyin ! 34: #pipe ! 35: ex +'set prompt noopt open' colors ! 36: #user ! 37: #unpipe ! 38: #uncopyin ! 39: (diff Ref colors || grep 1,5d .copy) > /dev/null ! 40: #log ! 41: #next ! 42: 20.01b 10
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.