|
|
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.