diff --git a/index.html b/index.html index 876585a39..56ffb25c9 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 3d36bb651..275b66cb4 100644 --- a/options.html +++ b/options.html @@ -5108,6 +5108,22 @@ Values in the 2-5 range get good results so far. <home-manager/modules/programs/mercurial.nix>
programs.mercurial.userName
Default user name to use.
Type: string
Declared by:
<home-manager/modules/programs/mercurial.nix>
+ |
programs.micro.enable
Whether to enable micro, a terminal-based text editor.
Type: boolean
Default: false
Example: true
Declared by:
+ <home-manager/modules/programs/micro.nix>
+ |
programs.micro.settings
Configuration written to
+$XDG_CONFIG_HOME/micro/settings.json
. See
+https://github.com/zyedidia/micro/blob/master/runtime/help/options.md
+for supported values.
+
Type: JSON value
Default:
+ {
+
+ }
+
Example:
{ + autosu = false; + cursorline = false; +} +
Declared by:
+ <home-manager/modules/programs/micro.nix>
|
programs.mpv.enable
Whether to enable mpv.
Type: boolean
Default: false
Example: true
Declared by:
<home-manager/modules/programs/mpv.nix>
|
programs.mpv.package
Package providing mpv. diff --git a/tools.html b/tools.html index c4901ebc3..3534a1b23 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -
home-manager +
home-manager — reconfigure a user environment
home-manager
{
build
|
@@ -84,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
.
@@ -153,7 +153,7 @@ available for immediate garbage collection.
-
The tool accepts the options
-A attrPath
@@ -265,15 +265,15 @@
--verbose
Activates verbose output. -