我正在尝试使用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
造成这一错误的原因是什么?
以下
我的/etc/vim/vimrc文件有奇怪的问题。
我试图摆脱VIM中的可视模式,所以我尝试在我的vimrc文件中添加vimrc命令。
然而,我的vim并没有考虑到这些变化。
当我在openend中执行:set mouse-=a时,它会做我想做的事情(选择带有鼠标的文本而不进入可视模式),但是命令在vimrc文件中不能工作。
我还启用了vimrc中的“在重新打开文件时跳转到最后一个位置”,它正在工作,这使我更加困惑。我一直在尝试每一个可能的命令:
set mouse=a
set mouse=r
set mouse-=a
:set mouse-=a
当添加到/etc/vi