mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-06-24 17:58:38 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

plugins/idris2: init

Browse source 
Adds the `idris2` neovim plugin.

Also changes `idris2-lsp` to enable this new `idris2` plugin when
enabled, as it's required for `idris2-lsp` to work at all.
This commit is contained in:
mitchmindtree 2024-09-15 10:56:08 +10:00 • committed by nix-infra-bot
parent 6b0c5d594a
commit ae2b9bd445
3 changed files with 25 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
plugins/lsp/language-servers/default.nix
View file

@ -256,12 +256,20 @@ let
}
{
name = "idris2-lsp";
description = "Idris 2 Language Server";
description = ''
Idris 2 Language Server.
Enabling this also enables the required `idris2` plugin.
'';
serverName = "idris2_lsp";
package = [
"idris2Packages"
"idris2Lsp"
];
extraConfig =
cfg:
mkIf cfg.enable {
plugins.idris2.enable = lib.mkDefault true;
};
}
{
name = "intelephense";