diff --git a/index.html b/index.html index 7d5a3efa2..4c5cf146c 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/tools.html b/tools.html index 9f7c32415..5a37a1272 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -
home-manager +
home-manager — reconfigure a user environment
home-manager
{
build
|
@@ -60,6 +60,8 @@
--max-jobs
}
number
+ ] [
+ --debug
] [
--keep-failed
] [
@@ -74,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
.
@@ -139,7 +141,7 @@ available for immediate garbage collection.
-
The tool accepts the options
-A attrPath
@@ -210,6 +212,10 @@
-j number
,
--max-jobs number
+ + Passed on to nix-build(1). +
--debug
Passed on to nix-build(1).
--verbose
Activates verbose output. -