diff --git a/index.html b/index.html index 33d71c85..e6bc74ab 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
or dconf.service
?+
ca.desrt.dconf
or dconf.service
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 4c801b94..213b01d1 100644 --- a/options.html +++ b/options.html @@ -5058,8 +5058,7 @@ for more details. <home-manager/modules/programs/kodi.nix>
programs.kodi.package
The kodi
package to use.
Can be used to specify extensions.
-
Type: package
Default: pkgs.kodi
Example:
{ pkgs.kodi.withPackages (exts: [ exts.pvr-iptvsimple ]) } -
Declared by:
+ |