diff --git a/index.html b/index.html index f3e7e7026..94b6cf11f 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 ff2a58aac..daa2a33a7 100644 --- a/options.html +++ b/options.html @@ -9827,6 +9827,7 @@ man page for more examples. <home-manager/modules/services/polybar.nix>
services.polybar.config
Polybar configuration. Can be either path to a file, or set of attributes
that will be used to create the final configuration.
+See also services.polybar.settings
for a more nix-friendly format.
Type: attribute set of attribute set of string or boolean or signed integer or list of stringsss or path convertible to it
Default:
{
@@ -9873,6 +9874,55 @@ Note, this script must start all bars in the background and then terminate.
"polybar bar &"
Declared by:
<home-manager/modules/services/polybar.nix>
+ |
services.polybar.settings
Polybar configuration. This takes a nix attrset and converts it to the
+strange data format that polybar uses.
+Each entry will be converted to a section in the output file.
+Several things are treated specially: nested keys are converted
+to dash-separated keys; the special text
key is ignored as a nested key,
+to allow mixing different levels of nesting; and lists are converted to
+polybar's foo-0, foo-1, ...
format.
+
+For example: +
+"module/volume" = { + type = "internal/pulseaudio"; + format.volume = "<ramp-volume> <label-volume>"; + label.muted.text = "🔇"; + label.muted.foreground = "#666"; + ramp.volume = ["🔈" "🔉" "🔊"]; + click.right = "pavucontrol &"; +} +
+becomes: +
+[module/volume] +type=internal/pulseaudio +format-volume=<ramp-volume> <label-volume> +label-muted=🔇 +label-muted-foreground=#666 +ramp-volume-0=🔈 +ramp-volume-1=🔉 +ramp-volume-2=🔊 +click-right=pavucontrol & +
+
Type: attribute set of attribute sets
Default:
+
+ {
+
+ }
+
+
Example:
{ + "module/volume" = { + type = "internal/pulseaudio"; + format.volume = "<ramp-volume> <label-volume>"; + label.muted.text = "🔇"; + label.muted.foreground = "#666"; + ramp.volume = ["🔈" "🔉" "🔊"]; + click.right = "pavucontrol &"; + }; +} +
Declared by:
+ <home-manager/modules/services/polybar.nix>
|
services.pulseeffects.enable
Whether to enable Pulseeffects daemon.
Type: boolean
Default:
false
Example: home-manager
+ home-manager
— reconfigure a user environment
This command updates the user environment so that it corresponds to the
configuration specified in
@@ -137,7 +137,7 @@
available for immediate garbage collection.
-
The tool accepts the options
Activates verbose output.
-
diff --git a/tools.html b/tools.html
index 895008a7a..36920dd6c 100644
--- a/tools.html
+++ b/tools.html
@@ -1,6 +1,6 @@
-
Name
Name
Synopsis
home-manager
{
build
|
@@ -72,7 +72,7 @@
|
--verbose
}
- ]Description
~/.config/nixpkgs/home.nix
.
Options
-A
@@ -226,15 +226,15 @@
attrPath
--verbose