diff --git a/index.html b/index.html index 7c9bf17a..9d9673d7 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 cc225fed..76f6d5b4 100644
--- a/options.html
+++ b/options.html
@@ -4642,7 +4642,7 @@ for the full list of options.
~/.config/mpv/mpv.conf
. See
mpv(1)
for the full list of options.
-
Type: attribute set of string or signed integer or boolean or floating point numbers
Default:
+
Type: attribute set of string or signed integer or boolean or floating point number or list of string or signed integer or boolean or floating point numberss
Default:
{
@@ -4659,7 +4659,7 @@ for the full list of options.
programs.mpv.profiles
Sub-configuration options for specific profiles written to
~/.config/mpv/mpv.conf
. See
programs.mpv.config
for more information.
-
Type: attribute set of attribute set of string or signed integer or boolean or floating point numberss
Default:
+
Type: attribute set of attribute set of string or signed integer or boolean or floating point number or list of string or signed integer or boolean or floating point numbersss
Default: home-manager
+ home-manager
— reconfigure a user environment
This command updates the user environment so that it corresponds to the
configuration specified in
@@ -132,7 +132,7 @@
available for immediate garbage collection.
-
The tool accepts the options
Activates verbose output.
-
{
diff --git a/tools.html b/tools.html
index 67b00770..ef682173 100644
--- a/tools.html
+++ b/tools.html
@@ -1,6 +1,6 @@
-
Name
Name
Synopsis
home-manager
{
build
|
@@ -67,7 +67,7 @@
|
--verbose
}
- ]Description
~/.config/nixpkgs/home.nix
.
Options
-A
@@ -219,15 +219,15 @@
attrPath
--verbose