I do not even get syntax highlighting
hbr opened this issue · comments
hbr 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.
Denis Buzdalov commented
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.
hbr commented
I don’t use pathogen either. What is the way to install the plugin directly?
… On 29 Dec 2020, at 20:03, Denis Buzdalov ***@***.***> wrote:
I personally don't use pathogen because I have idris2-vim plugin installed directly, so I may be wrong.
But as far as I remember, when you are using the pathogen plugin <https://github.com/tpope/vim-pathogen>, you have to enable it explicitly in your .vimrc, so just unpacking to bundles dir is not enough.
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub <#23 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACX25AXYLP64M6MCYHG4VTSXKC6RANCNFSM4VNYAMFA>.
hbr commented
I have installed pathogen (which is really trivial). Now syntax highlighting works. Forget the previous comment.
Thanks for your hint.