diff --git a/index.html b/index.html index fe89f58c..f1f1bfa7 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describes how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index aa83faed..90f3da78 100644 --- a/options.html +++ b/options.html @@ -13053,7 +13053,7 @@ If this and all other xresources options are
xresources.properties
X server resources that should be set.
Booleans are formatted as "true" or "false" respectively.
List elements are recursively formatted as a string and joined by commas.
-All other values are directly formatted using builtins.toString.
+All other values are directly formatted using builtins.toString.
Note, that 2-dimensional lists are not supported and specifying one will throw an exception.
If this and all other xresources options are
null
, then this feature is disabled and no
diff --git a/tools.html b/tools.html
index e7c5d72a..ce4d0153 100644
--- a/tools.html
+++ b/tools.html
@@ -1,6 +1,6 @@
-
home-manager +
home-manager — reconfigure a user environment
home-manager
{
build
|
@@ -76,7 +76,7 @@
|
--verbose
}
- ]
This command updates the user environment so that it corresponds to the
configuration specified in ~/.config/nixpkgs/home.nix
or ~/.config/nixpkgs/flake.nix
.
@@ -141,7 +141,7 @@ available for immediate garbage collection.
-
The tool accepts the options
-A attrPath
@@ -240,15 +240,15 @@
--verbose
Activates verbose output. -