build details

Show: section status errors & todos local changes recent changes last change in-page changes feedback controls

VIM

Modified 2019-09-22 by Andrea Censi

To do quick changes to files, especially when logged remotely, we suggest you use the VI editor, or more precisely, VIM (“VI iMproved”).

External documentation

Modified 2019-09-22 by Andrea Censi

Installation

Modified 2019-09-22 by Andrea Censi

Install like this:

$ sudo apt install vim

vi

Modified 2019-09-22 by Andrea Censi

TODO: to write

previous task next (37 of 40) index
task

The following was marked as "todo".

TODO: to write

Location not known more precisely.

Created by function n/a in module n/a.

Suggested configuration

Modified 2019-09-22 by Andrea Censi

Suggested ~/.vimrc:

syntax on
set number
filetype plugin indent on
highlight Comment ctermfg=Gray
autocmd FileType python set complete isk+=.,(

Visual mode

Modified 2019-09-22 by Andrea Censi

TODO: to write

previous task next (38 of 40) index
task

The following was marked as "todo".

TODO: to write

Location not known more precisely.

Created by function n/a in module n/a.

Indenting using VIM

Modified 2019-09-22 by Andrea Censi

Use the > command to indent.

To indent 5 lines, use 5 > >.

To mark a block of lines and indent it, use V.

For example, use VJJ> to indent 3 lines.

Use < to dedent.