无法为 vim 加载 CoqIDE 插件答案

【问题标题】：Cannot load CoqIDE plugin for vim无法为 vim 加载 CoqIDE 插件
【发布时间】：2014-07-06 05:08:41
【问题描述】：

我正在尝试使用我在 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

【问题讨论】：

标签： vim coq coqide

【解决方案1】：

说明不好。

把文件放在~/.vim/plugin而不是~/.vim/ftplugin

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

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

【讨论】：

我更改了文件夹名称，使 coq_IDE.vim 现在位于 ~/.vim/plugin 中，但仍然出现相同的错误。也许我还应该将插件版本降级到 0.96b 以更准确地匹配它？（我现在正在使用 0.97.b。）我是 vim 新手，还没有使用过 vundle，但我想我也会检查一下。
@user3287108 你在说哪个错误？降级不应该有所作为。 :scriptnames 的输出是否显示正在加载的文件？
等等，我在使用:source coq_IDE.vim 命令之前将目录更改为~/.vim/plugin，并且它没有给出任何错误，所以我认为它正在工作。现在我遇到了coqtop 部分的错误，但我想这是一个不同的问题。谢谢。
@user3287108 不要手动获取它。当插件位于 ~/.vim/plugin 文件夹中时，该插件会在启动时自动获取