diff --git a/plugins/by-name/idris2/default.nix b/plugins/by-name/idris2/default.nix new file mode 100644 index 00000000..3a529366 --- /dev/null +++ b/plugins/by-name/idris2/default.nix @@ -0,0 +1,11 @@ +{ + helpers, + lib, + ... +}: +helpers.neovim-plugin.mkNeovimPlugin { + name = "idris2"; + originalName = "idris2"; + package = "idris2-nvim"; + maintainers = [ lib.maintainers.mitchmindtree ]; +} diff --git a/plugins/lsp/language-servers/default.nix b/plugins/lsp/language-servers/default.nix index 55f22f8b..33f2956a 100644 --- a/plugins/lsp/language-servers/default.nix +++ b/plugins/lsp/language-servers/default.nix @@ -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"; diff --git a/tests/test-sources/plugins/by-name/idris2/default.nix b/tests/test-sources/plugins/by-name/idris2/default.nix new file mode 100644 index 00000000..7de4770d --- /dev/null +++ b/tests/test-sources/plugins/by-name/idris2/default.nix @@ -0,0 +1,5 @@ +{ + empty = { + plugins.idris2.enable = true; + }; +}