diff --git a/index.html b/index.html index b3658b5a7..b5491b083 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/release-notes.html b/release-notes.html
index f05a3994a..db9856a67 100644
--- a/release-notes.html
+++ b/release-notes.html
@@ -6,7 +6,7 @@ Nothing has happened.
changes are only active if the home.stateVersion
option is set to
"21.03" or later.
The 20.03 release branch became the stable branch in late September, 2020.
The 20.09 release branch became the stable branch in late September, 2020.
The state version in this release includes the changes below. These
changes are only active if the home.stateVersion
option is set to
diff --git a/tools.html b/tools.html
index 8899f955c..b0946afe4 100644
--- a/tools.html
+++ b/tools.html
@@ -1,6 +1,6 @@
-
home-manager +
home-manager — reconfigure a user environment
home-manager
{
build
|
@@ -67,7 +67,7 @@
|
--verbose
}
- ]
This command updates the user environment so that it corresponds to the
configuration specified in ~/.config/nixpkgs/home.nix
.
@@ -132,7 +132,7 @@ available for immediate garbage collection.
-
The tool accepts the options
-A attrPath
@@ -219,15 +219,15 @@
--verbose
Activates verbose output. -