From 8a08827d64fa61a18757bab9d3bf751eccbb0832 Mon Sep 17 00:00:00 2001 From: rycee Date: Sat, 30 Jan 2021 08:27:28 +0000 Subject: [PATCH] deploy: 98d030f723e0a4a446e56b276573efb8bef422f5 --- index.html | 4 ++-- options.html | 28 +++++++++++++++++++++------- tools.html | 14 +++++++------- 3 files changed, 30 insertions(+), 16 deletions(-) diff --git a/index.html b/index.html index bd3c97f93..c9c0dcba2 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 555f8e4f9..c9f76377d 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 signed integer or string or booleans

Default: +

programs.rofi.extraConfig

Additional configuration to add.

Type: attribute set of string or signed integer or boolean or Rasi literal strings

Default: { @@ -6271,14 +6271,28 @@ AUTOTYPE_field='autotype' "\${pkgs.gnome3.gnome_terminal}/bin/gnome-terminal"

Declared by:

<home-manager/modules/programs/rofi.nix> -
programs.rofi.theme

Name of theme or path to theme file in rasi format. Available -named themes can be viewed using the +

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

Default: +

Type: null or string or path or attribute set of attribute set of string or signed integer or boolean or Rasi literal stringss

Default: null -

Example: - "Arc" -

Declared by:

+

Example:

with config.lib.formats.rasi; {
+  "*" = {
+    # 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;
+  };
+
+  "#textbox-prompt-colon" = {
+    expand = false;
+    str = ":";
+    margin = mkLiteral "0px 0.3em 0em 0em";
+    text-color = mkLiteral "@foreground-color";
+  };
+}
+

Declared by:

<home-manager/modules/programs/rofi.nix>
programs.rofi.width

Window width

Type: null or signed integer

Default: null diff --git a/tools.html b/tools.html index 4c5c22655..2cb7417a4 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