📄 l20.01a
字号:
#printNow that you know how to delete lines,you may eventually delete some by mistake.If you just deleted some lines, you can always recover themwith the 'u' command. For example, 1,5d uwill delete the first 5 lines and then 'undo' that change.I will put you in the editor with a file called 'colors'.Print its contents, then delete the first 5 linesand issue the 'undo' command. Print thefile again to make sure that it's all there, rewrite the file,quit, and type 'ready'.#create Refredyellowbluegreenpurplebrownorange#create colorsredyellowbluegreenpurplebrownorange#copyin#pipeex +'set prompt noopt open' colors#user#unpipe#uncopyin(diff Ref colors || grep 1,5d .copy) > /dev/null#log#next20.01b 10
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -