📄 l13.1a
字号:
#printRemember we said that you didn't have to know thenumber of the last line, because '$' couldalways be used for that. What if you want to knowhow long the file is? Well, the editor command $=will tell you what '$' is set to, i.e. the number oflines in the file. You can find the number of lines inany file, then, by editing it and then typing "$=".(You then must leave the editor with the usual wq).How many lines are there in file 'henry'? You may want to checkby listing the file with "cat" as well as by using "$="in the editor. Don't forget to leave the editor withthe usual 'wq'; eventually, type "answer N"where N is the number of lines.#create henryMurray HillHolmdelWhippanyMadisonPiscatawayChesterWarren#copyin#user#uncopyin#match 7#succeedOf course the editor announced this fact when you first entered it."$=" is most useful when the number of lines changes during a session.#log#next13.3a 10
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -