From f1f40bc1474d15476a9f3f50a9c4a19b52543606 Mon Sep 17 00:00:00 2001 From: rycee Date: Wed, 5 May 2021 22:14:22 +0000 Subject: [PATCH] deploy: 90dd375eba16e11949d4a4a7538554dc8e9ceb8f --- index.html | 4 ++-- options.html | 4 +++- tools.html | 14 +++++++------- 3 files changed, 12 insertions(+), 10 deletions(-) diff --git a/index.html b/index.html index dbb49de44..64db637a9 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 85dbac392..ae155ef98 100644 --- a/options.html +++ b/options.html @@ -8226,7 +8226,9 @@ if the first character is a space.

Declared by:

<home-manager/modules/programs/zsh.nix>
programs.zsh.history.path

History file location

Type: string

Default: - ".zsh_history" + "$HOME/.zsh_history" if state version ≥ 20.03, +"$ZDOTDIR/.zsh_history" otherwise +

Example:

"${config.xdg.dataHome}/zsh/zsh_history"

Declared by:

<home-manager/modules/programs/zsh.nix>
programs.zsh.history.save

Number of history lines to save.

Type: signed integer

Default: diff --git a/tools.html b/tools.html index 7a8d7c6d6..751c46655 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