diff --git a/index.html b/index.html index f05ff23d..8d5b9225 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 54fbf5a7..765aa372 100644 --- a/options.html +++ b/options.html @@ -5636,7 +5636,7 @@ path to a theme configuration file.
Type: null or string or path
Default: null
Example: "dark-blue-256"
Declared by:
<home-manager/modules/programs/taskwarrior.nix>
|
programs.taskwarrior.config
Key-value configuration written to
-~/.taskrc
.
+$XDG_CONFIG_HOME/task/taskrc
.
Type: attribute set of anythings
Default:
{
@@ -5662,7 +5662,7 @@ Home Manager will attempt to create this directory.
Type: string
Default: "$XDG_DATA_HOME/task"
Declared by:
<home-manager/modules/programs/taskwarrior.nix>
|
programs.taskwarrior.extraConfig
Additional content written at the end of
-~/.taskrc
.
+$XDG_CONFIG_HOME/task/taskrc
.
Type: strings concatenated with "\n"
Default: ""
Declared by:
<home-manager/modules/programs/taskwarrior.nix>
|
programs.terminator.enable
Whether to enable terminator, a tiling terminal emulator.
Type: boolean
Default: false
Example: true
Declared by: