diff --git a/index.html b/index.html index cf6b0078..7fcd69e5 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/tools.html b/tools.html index 3e29bcbc..c330722e 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -
home-manager +
home-manager — reconfigure a user environment
home-manager
{
build
|
@@ -45,6 +45,8 @@
|
--help
}
+ ] [
+ --version
] [
{
-n
@@ -82,7 +84,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
.
@@ -151,7 +153,7 @@ available for immediate garbage collection.
-
The tool accepts the options
-A attrPath
@@ -204,6 +206,10 @@
Prints usage information for the home-manager tool.
--version
+ + Prints the version number of the home-manager tool. +
-n
,
--dry-run
@@ -259,15 +265,15 @@
--verbose
Activates verbose output. -