edwinb / idris2-vim

Vim mode for Idris 2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

I do not even get syntax highlighting

hbr opened this issue · comments

commented

I have done exactly the steps

cd ~/.vim/bundle
git clone https://github.com/edwinb/idris2-vim.git

But after opening some idris file, I do not even get syntax highlighting.

Note: I do not understand what you meant by recommend use of pathogen.

Maybe additional steps have to be done.

I personally don't use pathogen because I have idris2-vim plugin installed directly, so I may be wrong.
/usr/share/vim/vimfiles/after/ftplugin/idris2.vim
/usr/share/vim/vimfiles/after/syntax/idris2.vim
/usr/share/vim/vimfiles/ftdetect/idris2.vim
/usr/share/vim/vimfiles/ftdetect/lidris2.vim
/usr/share/vim/vimfiles/ftplugin/idris2.vim
/usr/share/vim/vimfiles/indent/idris2.vim
/usr/share/vim/vimfiles/syntax/idris2.vim
/usr/share/vim/vimfiles/syntax/lidris2.vim
/usr/share/vim/vimfiles/syntax_checkers/idris2/idris2.vim

But as far as I remember, when you are using the pathogen plugin, you have to enable it explicitly in your .vimrc, so just unpacking to bundles dir is not enough.

commented
commented

I have installed pathogen (which is really trivial). Now syntax highlighting works. Forget the previous comment.

Thanks for your hint.