diff --git a/index.html b/index.html index 61f887b3..47c39b03 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 d9deaab7..549dc927 100644 --- a/options.html +++ b/options.html @@ -6183,7 +6183,7 @@ should be used whenever possible. null
Declared by:
<home-manager/modules/programs/rofi.nix>
- |
programs.rofi.extraConfig
Additional configuration to add.
Type: attribute set of string or signed integer or boolean or Rasi literal strings
Default:
+
programs.rofi.extraConfig
Additional configuration to add.
Type: attribute set of string or signed integer or boolean or Rasi literal string or list of string or signed integer or boolean or Rasi literal stringss
Default:
{
@@ -6274,17 +6274,22 @@ AUTOTYPE_field='autotype'
programs.rofi.theme
Name of theme or path to theme file in rasi format or attribute set with theme configuration. Available named themes can be viewed using the rofi-theme-selector tool. -
Type: null or string or path or attribute set of attribute set of string or signed integer or boolean or Rasi literal stringss
Default:
+
Type: null or string or path or attribute set of attribute set of string or signed integer or boolean or Rasi literal string or list of string or signed integer or boolean or Rasi literal stringsss
Default:
null
-
Example:
with config.lib.formats.rasi; { +Example:
let + inherit (config.lib.formats.rasi) mkLiteral; +in { "*" = { - # config.lib.formats.rasi.mkLiteral unquotes the value background-color = mkLiteral "#000000"; foreground-color = mkLiteral "rgba ( 250, 251, 252, 100 % )"; border-color = mkLiteral "#FFFFFF"; width = 512; }; + "#inputbar" = { + children = map mkLiteral [ "prompt" "entry" ]; + }; + "#textbox-prompt-colon" = { expand = false; str = ":"; diff --git a/tools.html b/tools.html index 77bf52b0..4745310d 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -Appendix D. Tools
- home-manager - — reconfigure a user environment
Name
home-manager +
Appendix D. Tools
- home-manager + — reconfigure a user environment
Name
home-manager — reconfigure a user environment
Synopsis
home-manager
{ build | @@ -72,7 +72,7 @@ | --verbose } - ]Description
This command updates the user environment so that it corresponds to the configuration specified in
~/.config/nixpkgs/home.nix
.@@ -137,7 +137,7 @@ available for immediate garbage collection.
-
Options
The tool accepts the options
-A
@@ -226,15 +226,15 @@attrPath
--verbose
Activates verbose output. -