From 1e6523ec3118d4363d62a661794863473cfc51d4 Mon Sep 17 00:00:00 2001 From: teto Date: Sat, 20 Feb 2021 17:35:51 +0000 Subject: [PATCH] deploy: da923602089501142855bbb3c276fbc36513eefb --- index.html | 4 ++-- options.html | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++ tools.html | 14 +++++++------- 3 files changed, 59 insertions(+), 9 deletions(-) diff --git a/index.html b/index.html index f3e7e7026..94b6cf11f 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -Home Manager Manual

Home Manager Manual


Preface

+Home Manager Manual

Home Manager Manual


Preface

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: diff --git a/tools.html b/tools.html index 895008a7a..36920dd6c 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -Appendix D. Tools

Appendix D. Tools

home-manager - — reconfigure a user environment

Name

home-manager +Appendix D. Tools

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

+ ]

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

+

Options

The tool accepts the options

-A attrPath @@ -226,15 +226,15 @@ --verbose

Activates verbose output. -

Files

+

Files

~/.local/share/home-manager/news-read-ids

Identifiers of news items that have been shown. Can be deleted to reset the read news indicator. -

Bugs

+

Bugs

Please report any bugs on the project issue tracker. -

See also

+

See also

home-configuration.nix(5)

\ No newline at end of file