Impossible de charger le plugin CoqIDE pour vim

Question

Je suis en train d'utiliser le CoqIDE pour plugin vim j'ai trouvé sur this page.

je mets le fichier coq_IDE.vim dans le dossier ~/.vim/ftplugin. Mon fichier en cours vimrc est:

set showcmd 
set number 
imap hl <Esc> 
filetype plugin on 

Mais quand je commence à vim CoqIDE ne se charge pas automatiquement (je ne vois aucun changement par rapport à vim normale, donc je ne pense pas qu'il a fait). Et quand je tente de le charger manuellement par la commande :source coq_IDE.vim, je reçois le message d'erreur suivant:

E484: Can't open file coq_IDE.vim 

Quelle pourrait être la source de cette erreur?

Voici quelques informations supplémentaires qui pourraient être pertinents:

1) Je Ubuntu 14.04.

2) J'ai vérifié que :version dans vim montre +perl.

2) Je cours vim à partir du terminal, pas gvim.

3) J'ai essayé de supprimer et de réinstaller les différentes versions de vim (vim, vim-gtk, vim-gnome)

4) Le guide d'installation CoqIDE dit que coqtop.opt doit être accessible via la variable PATH. Puisque je ne suis même pas sûr de ce que cela signifie, cela pourrait être le problème ici, mais cela semble improbable. D'après ce que je comprends, vim obtient des erreurs en essayant de lire coq_IDE.vim, donc il ne va même pas à la partie où il cherche coqtop.opt.

5) J'ai CoqIDE installé à partir de Ubuntu Software Center.

6) Avec :echo &runtimepath je reçois: ~/.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

Les instructions sont mauvaises.

Placez le fichier dans ~/.vim/plugin pas ~/.vim/ftplugin

La mise en page du fichier doit ressembler exactement à la mise en page de fichier trouvé dans ce miroir pour le plug-in. https://github.com/vim-scripts/CoqIDE. (Peut-être jeter un oeil à pathogen ou vundle,).

La raison pour laquelle le :source coq_IDE.vim échoue est vim recherche le fichier coq_IDE.vim dans le répertoire en cours et il n'est pas là. Utilisez le chemin d'accès complet au fichier si vous allez le rechercher manuellement. (Vous ne devriez pas avoir besoin de si.)