Question

我正在尝试使用我在this page.上找到的CoqIDE for 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）我检查了vim中的:version显示+perl。

2）我从终端运行vim，而不是gvim。

3）我尝试删除并重新安装不同版本的vim（vim，vim-gtk，vim-gnome）

4）CoqIDE安装指南说coqtop.opt应该可以通过PATH变量访问。由于我甚至不确定这意味着什么，这可能是这里的问题，但这似乎不太可能。根据我的理解，vim在尝试阅读coq_IDE.vim时遇到错误，所以它甚至没有到达正在寻找coqtop.opt的部分。

5）我从Ubuntu软件中心安装了CoqIDE。

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

Answer 1

说明不好。

将文件放入~/.vim/plugin而不是~/.vim/ftplugin

文件布局应该与插件的此镜像中的文件布局完全相同。 https://github.com/vim-scripts/CoqIDE。（也许请查看pathogen或vundle）。

:source coq_IDE.vim失败的原因是vim正在当前目录中查找文件coq_IDE.vim并且它不存在。如果要手动获取文件，请使用文件的完整路径。（你不应该这么做。）

无法为vim加载CoqIDE插件

1 个答案: