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

plugins: remove all use of lib.nixvim.mkPackageOption

Browse source
This commit is contained in:
Matt Sturgeon 2024-09-03 15:40:46 +01:00
parent 84676128f8
commit ae3a2c9d10
No known key found for this signature in database
GPG key ID: 4F91844CED1A8299
28 changed files with 73 additions and 95 deletions
Download patch file Download diff file Expand all files Collapse all files

6
plugins/languages/lean.nix
View file

@ -15,9 +15,9 @@ in
package = helpers.mkPluginPackageOption "lean-nvim" pkgs.vimPlugins.lean-nvim;
leanPackage = helpers.mkPackageOption {
name = "lean";
default = pkgs.lean4;
leanPackage = lib.mkPackageOption pkgs "lean" {
nullable = true;
default = "lean4";
};
lsp = helpers.defaultNullOpts.mkNullable (