diff --git a/index.html b/index.html index af178f8dd..bc1b091f8 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 6d91e3df5..e56db171b 100644
--- a/options.html
+++ b/options.html
@@ -915,13 +915,22 @@ version ≥ 19.09 and ""
otherwise.
home.language.time
The language to use for formatting times.
Type: null or string
Default: null
Declared by:
<home-manager/modules/home-environment.nix>
- |
home.sessionPath
Extra directories to add to PATH
.
Type: list of strings
Default:
+
home.sessionPath
Extra directories to add to PATH
.
+
+
+
+These directories are added to the PATH
variable in a
+double-quoted context, so expressions like $HOME
are
+expanded by the shell. However, since expressions like ~
or
+*
are escaped, they will end up in the PATH
+verbatim.
+
Type: list of strings
Default:
[
]
Example:
[
- ".git/safe/../../bin" "\${xdg.configHome}/emacs/bin" "~/.local/bin"
+ "$HOME/.local/bin" "\${xdg.configHome}/emacs/bin" ".git/safe/../../bin"
]
Declared by: