无法为vim加载CoqIDE插件

Question

我正在尝试使用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)我正在运行Ubuntu14.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)我从安装了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。(也许可以看看致病菌或vundle )。

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