Closed hbr closed 3 years ago
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.
I don’t use pathogen either. What is the way to install the plugin directly?
On 29 Dec 2020, at 20:03, Denis Buzdalov notifications@github.com 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 https://github.com/edwinb/idris2-vim/issues/23#issuecomment-752300936, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACX25AXYLP64M6MCYHG4VTSXKC6RANCNFSM4VNYAMFA.
I have installed pathogen (which is really trivial). Now syntax highlighting works. Forget the previous comment.
Thanks for your hint.
I have done exactly the steps
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.