diff --git a/index.html b/index.html index bcf147445..88d70098b 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 61e656ab0..f0c6ef01e 100644 --- a/options.html +++ b/options.html @@ -3313,8 +3313,8 @@ or checksum database.
Declared by:
<home-manager/modules/programs/gpg.nix>
|
programs.gpg.homedir
Directory to store keychains and configuration.
Type: path
Default:
- "/home/runner/.gnupg"
-
Example:
/home/runner/.local/share/gnupg
Declared by:
+ "${config.home.homeDirectory}/.gnupg"
+ Example: "${config.xdg.dataHome}/gnupg" Declared by:
programs.gpg.settings GnuPG configuration options. Available options are described in the gpg manpage: diff --git a/tools.html b/tools.html index e0014403b..779d615b5 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -
Namehome-manager +
Namehome-manager — reconfigure a user environment Synopsis
Description
This command updates the user environment so that it corresponds to the
configuration specified in @@ -139,7 +139,7 @@ available for immediate garbage collection.
- OptionsThe tool accepts the options
|