From a9ecee158f8387d56ccbe9afe616a2a5bb5b1672 Mon Sep 17 00:00:00 2001 From: rycee Date: Tue, 3 Nov 2020 19:30:27 +0000 Subject: [PATCH] deploy: 0261950395fe7cc2c2d7aa8d2cfe9b2ff2095c5c --- index.html | 4 ++-- tools.html | 14 +++++++------- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/index.html b/index.html index 9d9673d70..bc2efa92a 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/tools.html b/tools.html index ef682173f..ffaa6a83f 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -Appendix B. Tools

Appendix B. Tools

home-manager - — reconfigure a user environment

Name

home-manager +Appendix B. Tools

Appendix B. Tools

home-manager + — reconfigure a user environment

Name

home-manager — reconfigure a user environment

Synopsis

home-manager { build | @@ -67,7 +67,7 @@ | --verbose } - ]

Description

+ ]

Description

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

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

-

Options

+

Options

The tool accepts the options

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