diff --git a/index.html b/index.html index a91d9637c..ddb3f69d7 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf or dconf.service?+
ca.desrt.dconf or dconf.service?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index d16c22a78..cce99cba4 100644 --- a/options.html +++ b/options.html @@ -6217,6 +6217,12 @@ managers.
Type: boolean
Declared by: Whether to enable pls, a modern replacement for ls. Type: boolean Default: Example: Declared by: Whether to enable recommended pls aliases. Type: boolean Default: Example: Declared by: Type: package Default: Declared by: Whether to enable Powerline-go, a beautiful and useful low-latency prompt for your shell. Type: boolean Default: Example: Declared by: Shell code to execute after the prompt is set. Type: string Default: Example: home-manager
+ home-manager
— reconfigure a user environment
This command updates the user environment so that it corresponds to the
configuration specified in
@@ -153,7 +153,7 @@
available for immediate garbage collection.
-
The tool accepts the options
Activates verbose output.
-
<home-manager/modules/programs/piston-cli.nix>
+ programs.pls.enablefalsetrue
+ <home-manager/modules/programs/pls.nix>
+ programs.pls.enableAliasesfalsetrue
+ <home-manager/modules/programs/pls.nix>
+ programs.pls.packagepkgs.pls
+ <home-manager/modules/programs/pls.nix>
programs.powerline-go.enablefalsetrue
<home-manager/modules/programs/powerline-go.nix>
programs.powerline-go.extraUpdatePS1""''
diff --git a/tools.html b/tools.html
index 9e06c233f..2332ff914 100644
--- a/tools.html
+++ b/tools.html
@@ -1,6 +1,6 @@
-
Name
Name
Synopsis
home-manager {
build
|
@@ -84,7 +84,7 @@
|
--verbose
}
- ]Description
~/.config/nixpkgs/home.nix or ~/.config/nixpkgs/flake.nix.
Options
-A
@@ -265,15 +265,15 @@
attrPath--verbose