mirror/nix-community.nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-07-14 11:14:36 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

plugins: remove all uses of lib.nixvim.mkPluginPackageOption

Browse source
This commit is contained in:
Matt Sturgeon 2024-09-04 22:00:43 +01:00
parent ae3a2c9d10
commit 7409e80bd2
No known key found for this signature in database
GPG key ID: 4F91844CED1A8299
77 changed files with 462 additions and 77 deletions
Download patch file Download diff file Expand all files Collapse all files

7
plugins/languages/lean.nix
View file

@ -13,7 +13,12 @@ in
options.plugins.lean = helpers.neovim-plugin.extraOptionsOptions // {
enable = mkEnableOption "lean-nvim";
package = helpers.mkPluginPackageOption "lean-nvim" pkgs.vimPlugins.lean-nvim;
package = lib.mkPackageOption pkgs "lean-nvim" {
default = [
"vimPlugins"
"lean-nvim"
];
};
leanPackage = lib.mkPackageOption pkgs "lean" {
nullable = true;