Не удается загрузить плагин CoqIDE для vim

Я пытаюсь использовать плагин CoqIDE для vim, который нашел на этой странице.

Я поместил файл coq_IDE.vim в папку ~ / .vim / ftplugin. Мой текущий файл .vimrc:

set showcmd
set number
imap hl <Esc>
filetype plugin on

Но когда я запускаю vim, CoqIDE не загружается автоматически (я не вижу никаких изменений по сравнению с обычным vim, поэтому не думаю, что это произошло). И когда я пытаюсь загрузить его вручную командой :source coq_IDE.vim, получаю следующее сообщение об ошибке:

E484: Can't open file coq_IDE.vim

Что могло быть источником этой ошибки?

Вот некоторая дополнительная информация, которая может иметь отношение:

1) Я использую Ubuntu 14.04.

2) Проверил, что :version в vim показывает +perl.

2) Я запускаю vim с терминала, а не gvim.

3) Я пробовал удалить и переустановить разные версии vim (vim, vim-gtk, vim-gnome)

4) В руководстве по установке CoqIDE сказано, что coqtop.opt должен быть доступен через переменную PATH. Поскольку я даже не уверен, что это значит, это может быть проблемой здесь, но это кажется маловероятным. Насколько я понимаю, vim выдает ошибки при попытке прочитать coq_IDE.vim, поэтому он даже не доходит до той части, где ищет coqtop.opt.

5) У меня установлен CoqIDE из Центра программного обеспечения Ubuntu.

6) С :echo &runtimepath я получаю: ~/.vim,/var/lib/vim/addons,/usr/share/vim/vimfiles,/usr/share/vim/vim74,/usr/share/vim/vimfiles/after,/var/lib/vim/addons/after,~/.vim/after


vim coq coqide
person user3287108    schedule 18.05.2014    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Инструкции плохие.

Поместите файл в ~/.vim/plugin, а не в ~/.vim/ftplugin

Макет файла должен выглядеть точно так же, как макет файла в этом зеркале для плагина. https://github.com/vim-scripts/CoqIDE. (Возможно, взгляните на патоген или vundle,).

Причина сбоя :source coq_IDE.vim в том, что vim ищет файл coq_IDE.vim в текущем каталоге, а его там нет. Используйте полный путь к файлу, если вы собираетесь получить его вручную. (Хотя в этом нет необходимости.)

person FDinoff    schedule 18.05.2014
comment
Я изменил имя папки так, что coq_IDE.vim теперь находится в ~/.vim/plugin, но все равно получаю те же ошибки. Возможно, мне также следует понизить версию плагина до 0.96b, чтобы она соответствовала более точно? (Я использую 0.97.b прямо сейчас.) Я новичок в vim и еще не использовал vundle, но думаю, я тоже проверю это. - person user3287108; 18.05.2014
comment
@ user3287108 о какой ошибке вы говорите? И переход на более раннюю версию не должен иметь значения. Отображает ли вывод :scriptnames загружаемый файл? - person FDinoff; 18.05.2014
comment
Подождите, я изменил каталог на ~/.vim/plugin перед тем, как использовать команду :source coq_IDE.vim, и это больше не дает ошибок, поэтому я думаю, что это работает. Теперь я получаю ошибки с coqtop частью, но, думаю, это другой вопрос. Спасибо. - person user3287108; 18.05.2014
comment
@ user3287108 не создавайте его вручную. Плагин автоматически загружается при запуске, когда он находится в папке ~ / .vim / plugin. - person FDinoff; 18.05.2014