Skip to content

Latest commit

 

History

History
10 lines (5 loc) · 289 Bytes

notes.md

File metadata and controls

10 lines (5 loc) · 289 Bytes

Misc notes

Things I haven't scripted yet:

Installing neovim

I have it installed in opt to get a more-recent release than Debian carries.

Also install the python3-neovim package, otherwise (it seems) Python evaluation won't work well enough for the Coqtail extension to work.