diff --git a/index.html b/index.html index 42a62853f..e6883ebd3 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html
index 906043a3e..0dcb70fb0 100644
--- a/options.html
+++ b/options.html
@@ -689,6 +689,18 @@ is assumed to already be available in your profile.
$XDG_CONFIG_HOME/gtk-3.0/gtk.css
.
Type: strings concatenated with "\n"
Default: ""
Declared by:
<home-manager/modules/misc/gtk.nix>
+ |
gtk.gtk4.extraConfig
Extra configuration options to add to
+$XDG_CONFIG_HOME/gtk-4.0/settings.ini
.
+
Type: attribute set of boolean or signed integer or strings
Default:
+ {
+
+ }
+
Example:
+ {
+ gtk-cursor-blink = false; gtk-recent-files-limit = 20;
+ }
+
Declared by:
+ <home-manager/modules/misc/gtk.nix>
|
gtk.iconTheme
The icon theme to use.
Type: null or submodule
Default: null
Declared by:
<home-manager/modules/misc/gtk.nix>
|
gtk.iconTheme.package
Package providing the theme. This package will be installed diff --git a/tools.html b/tools.html index a86e704bd..3a8353aec 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -
home-manager +
home-manager — reconfigure a user environment
home-manager
{
build
|
@@ -82,7 +82,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
.
@@ -151,7 +151,7 @@ available for immediate garbage collection.
-
The tool accepts the options
-A attrPath
@@ -259,15 +259,15 @@
--verbose
Activates verbose output. -