что надо ms-jpq/coq.artifacts, но дока по самим сниппетами говорит, что сниппеты должны лежать в ~/.config/nvim/coq-user-snippets/ с суффиком snip, а в ms-jpq/coq.artifacts нет такого. Причём c ms-jpq/coq_nvim не работает SirVer/ultisnips, раньше вроде работал.
SirVer/ultisnips работает с ms-jpq/coq_nvim при let g:coq_settings = {'keymap.recommended': v:false}.
Обсуждают сегодня