0

我正在尝试使用我在此页面上找到的 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。

:version2）我在 vim 中检查了它+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

4

1 回答 1

1

指示很糟糕。

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

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

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

于 2014-05-18T00:45:17.267 回答