Issue description
Running Neovim will always cause it to start with the following error message:
Error in packer_compiled: Vim:E475: Invalid value for argument cmd: 'idris2' is not executable
Please check your config for correctness
This error message occurs even if the filetype opened isn't Idris2.
How to reproduce:
Start neovim with idris2-nvim setup, without idris2 in $PATH. This issue doesn't occur with idris2-lsp missing, unless opening an Idris2 file (which seems reasonable to me).
I use Packer as my plugin manager and could reproduce the issue with the startup command only being require('idris2').setup({}), as per the README.
Expected behaviour/Proposed solution:
I think this error message should only pop up when opening Idris2 files.
I hate having to comment/uncomment this plugin on my system depending on whether or not I have access to idris2 on my system.
Also, there are certain use-cases like Nix/Guix where people might only install certain packages as a dependency of project through nix-shell and Idris2 might be one of them.
Maybe this issue can also be circumvented by setting the plugin as optional on Packer or whatever, but I don't really know how to do that and I don't think all plugin managers would support that.
Issue description
Running Neovim will always cause it to start with the following error message:
This error message occurs even if the filetype opened isn't Idris2.
How to reproduce:
Start neovim with
idris2-nvimsetup, withoutidris2in$PATH. This issue doesn't occur withidris2-lspmissing, unless opening an Idris2 file (which seems reasonable to me).I use Packer as my plugin manager and could reproduce the issue with the startup command only being
require('idris2').setup({}), as per the README.Expected behaviour/Proposed solution:
I think this error message should only pop up when opening Idris2 files.
I hate having to comment/uncomment this plugin on my system depending on whether or not I have access to
idris2on my system.Also, there are certain use-cases like Nix/Guix where people might only install certain packages as a dependency of project through
nix-shelland Idris2 might be one of them.Maybe this issue can also be circumvented by setting the plugin as optional on Packer or whatever, but I don't really know how to do that and I don't think all plugin managers would support that.