0

このページで見つけた CoqIDE for vim プラグインを使用しようとしています。

~/.vim/ftplugin フォルダに coq_IDE.vim ファイルを置きます。私の現在の .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 shows で確認しました+perl。

2) gvim ではなく、端末から vim を実行しています。

3）異なるバージョンのvim（vim、vim-gtk、vim-gnome）を削除して再インストールしようとしました

4) CoqIDE インストール ガイドには、変数coqtop.optを介してアクセスできる必要があると記載されています。PATHこれが何を意味するのかさえわからないので、これがここでの問題かもしれませんが、そうではないようです。私が理解していることから、 vim を読み取ろうとするとエラーが発生するcoq_IDE.vimため、探している部分に到達することさえできませんcoqtop.opt。

5) Ubuntu Software Center から 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 . （おそらく、病原体またはバンドルを見てください）。

失敗する理由は、:source coq_IDE.vimvim が現在のディレクトリでファイルを探していて、coq_IDE.vimそこにないためです。手動でソースを作成する場合は、ファイルへのフル パスを使用します。(ただし、その必要はありません。)

于 2014-05-18T00:45:17.267 に答える