diff --git a/index.html b/index.html index 34cf65e18..230c9ebea 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/nixos-options.html b/nixos-options.html index 7e37a0cb6..e60739fca 100644 --- a/nixos-options.html +++ b/nixos-options.html @@ -14,7 +14,7 @@ file extension rather than exiting with an error. } -
Example:
{ modulesPath = ../modules; }
Declared by:
+ Declared by:
home-manager.sharedModules Extra modules added to all users. Type: list of Home Manager moduless Default: home-manager
+ home-manager
— reconfigure a user environment
This command updates the user environment so that it corresponds to the
configuration specified in
@@ -151,7 +151,7 @@
available for immediate garbage collection.
-
The tool accepts the options
Activates verbose output.
- |