edwinb / idris2-vim

Vim mode for Idris 2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Plugin does not load correctly on neovim / vim-plug

space-shell opened this issue · comments

This might be specific to my setup, I've installed the plugin using Vim-Plug and I'm running the nightly build of NeoVim.

The plugin would not load and no Idris2-Vim commands / functions were available.

Without loading any plugins ( commenting out the plugins ) except for the Idris2-Vim plugin, the plugin still would not work.

When calling set runtimepath? within an Idris2 buffer the idris2-vim/after folder is listed within the runtime variable.

After installing the plugin using Vim-Plug and without exiting NeoVim the plugin would work as expected on Idris2 buffers.

[ Solution ]

Moving the following line to above the plug#begin function within my init.vim configuration file allows the plugin to work as expected:

filetype plugin indent off

Hopefully this description can help others in a similar predicament.

This is rather strange. My init file is here - https://github.com/timmyjose-config/dotfiles/blob/master/init.vim. It works fine without switching indent off.

I'm not too sure if the indent value makes a difference ( I prefer it off ), it was changing the line location that worked for me.