From 3af3dadb7fff993ce0f38e7e629b57966c1c4f04 Mon Sep 17 00:00:00 2001 From: berbiche Date: Tue, 20 Apr 2021 23:46:16 +0000 Subject: [PATCH] deploy: db00b39a9abec04245486a01b236b8d9734c9ad0 --- index.html | 4 ++-- options.html | 6 ++++++ tools.html | 14 +++++++------- 3 files changed, 15 insertions(+), 9 deletions(-) diff --git a/index.html b/index.html index 706ddeb07..abb5172ac 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 867a7a966..e6d469533 100644 --- a/options.html +++ b/options.html @@ -6997,6 +6997,12 @@ Home Manager will attempt to create this directory. false

Example: true +

Declared by:

+ <home-manager/modules/programs/termite.nix> +
programs.termite.enableVteIntegration

Whether to enable Shell VTE integration.

Type: boolean

Default: + true +

Example: + true

Declared by:

<home-manager/modules/programs/termite.nix>
programs.termite.allowBold

Allow the output of bold characters when the bold escape sequence appears. diff --git a/tools.html b/tools.html index ae38b5dd7..5d6ebc6f8 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 | @@ -74,7 +74,7 @@ | --verbose } - ]

Description

+ ]

Description

This command updates the user environment so that it corresponds to the configuration specified in ~/.config/nixpkgs/home.nix or ~/.config/nixpkgs/flake.nix.

@@ -139,7 +139,7 @@ available for immediate garbage collection.

-

Options

+

Options

The tool accepts the options

-A attrPath @@ -234,15 +234,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