diff --git a/index.html b/index.html index 977bedf2c..0f779a9ec 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 ea98af486..10aaaca41 100644 --- a/options.html +++ b/options.html @@ -6656,7 +6656,12 @@ of options.
Example:
{
add_newline = false;
- prompt_order = [ "line_break" "package" "line_break" "character" ];
+ format = lib.concatStrings [
+ "$line_break"
+ "$package"
+ "$line_break"
+ "$character"
+ ];
scan_timeout = 10;
character.symbol = "➜";
}
diff --git a/tools.html b/tools.html
index 0b62e8ca6..a147d5485 100644
--- a/tools.html
+++ b/tools.html
@@ -1,6 +1,6 @@
-Appendix B. Tools - home-manager
- — reconfigure a user environment
Name
home-manager
+
Appendix B. Tools - home-manager
+ — reconfigure a user environment
Name
home-manager
— reconfigure a user environment
Synopsis
home-manager {
build
|
@@ -72,7 +72,7 @@
|
--verbose
}
- ]
Description
This command updates the user environment so that it corresponds to the
configuration specified in ~/.config/nixpkgs/home.nix.
@@ -137,7 +137,7 @@
available for immediate garbage collection.
-
Options
The tool accepts the options
-
-A attrPath
@@ -226,15 +226,15 @@
--verbose
Activates verbose output.
-