plugins/vimtex: fix error when user does not set any extraConfig option (#216)

This commit is contained in:
Gaétan Lepage 2023-03-02 14:01:31 +01:00 committed by GitHub
parent e439cb79df
commit 6e027c40f2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,13 +13,17 @@ in
package = helpers.mkPackageOption "vimtex" pkgs.vimPlugins.vimtex; package = helpers.mkPackageOption "vimtex" pkgs.vimPlugins.vimtex;
extraConfig = helpers.mkNullOrOption types.attrs '' extraConfig = mkOption {
The configuration options for vimtex without the 'vimtex_' prefix. type = types.attrs;
Example: To set 'vimtex_compiler_enabled' to 1, write description = ''
extraConfig = { The configuration options for vimtex without the 'vimtex_' prefix.
compiler_enabled = true; Example: To set 'vimtex_compiler_enabled' to 1, write
}; extraConfig = {
''; compiler_enabled = true;
};
'';
default = {};
};
}; };
config = let config = let