From 2ec96fa1a00bf48b5e6142c1fdf9debdb29b5b7c Mon Sep 17 00:00:00 2001 From: teto Date: Wed, 31 Mar 2021 18:09:08 +0000 Subject: [PATCH] deploy: 447ed0fbcb5be449e977d8c094e52e2172f600d2 --- 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 ca79eb80d..4a1d1486c 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 e7fd42c6c..bda9c6732 100644 --- a/options.html +++ b/options.html @@ -1951,6 +1951,12 @@ directory. true

Declared by:

<home-manager/modules/misc/vte.nix> +
programs.bash.bashrcExtra

Extra commands that should be placed in ~/.bashrc. +Note that these commands will be run even in non-interactive shells. +

Type: strings concatenated with "\n"

Default: + "" +

Declared by:

+ <home-manager/modules/programs/bash.nix>
programs.bash.historyControl

Controlling how commands are saved on the history list.

Type: list of one of "erasedups", "ignoredups", "ignorespace"s

Default: [ diff --git a/tools.html b/tools.html index 1e01ec157..c1e8983fe 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