nix-community.nixvim/plugins/by-name/idris2/default.nix

{
  helpers,
  lib,
  ...
}:
helpers.neovim-plugin.mkNeovimPlugin {
  name = "idris2";
  packPathName = "idris2";
  package = "idris2-nvim";
  maintainers = [ lib.maintainers.mitchmindtree ];
}
plugins/idris2: init 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. 2024-09-15 10:56:08 +10:00			`{`
			`helpers,`
			`lib,`
			`...`
			`}:`
			`helpers.neovim-plugin.mkNeovimPlugin {`
			`name = "idris2";`
treewide: originalName -> packPathName We used to only think of it as the plugin repo's name, but we have been needing to use it for the name of the plugin's packpath location. 2024-12-13 08:27:14 -06:00			`packPathName = "idris2";`
plugins/idris2: init 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. 2024-09-15 10:56:08 +10:00			`package = "idris2-nvim";`
			`maintainers = [ lib.maintainers.mitchmindtree ];`
			`}`