Open space-shell opened 3 years ago
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.
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 theidris2-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 myinit.vim
configuration file allows the plugin to work as expected:filetype plugin indent off
Hopefully this description can help others in a similar predicament.