From 5f80e0a2ba874b013732bbb11c5c83c6855b90cb Mon Sep 17 00:00:00 2001 From: rycee Date: Fri, 13 Nov 2020 22:58:40 +0000 Subject: [PATCH] deploy: fd79015c0feee0e61e17f6ed59b4e9d01d9ef597 --- index.html | 4 ++-- options.html | 2 +- tools.html | 21 ++++++++++++++------- 3 files changed, 17 insertions(+), 10 deletions(-) diff --git a/index.html b/index.html index 6e254b569..374ad5247 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 6f80f9228..58ee57ba6 100644 --- a/options.html +++ b/options.html @@ -7246,7 +7246,7 @@ manually set any options not listed above. <home-manager/modules/programs/vscode.nix>

programs.vscode.package

Version of Visual Studio Code to install.

Type: package

Default: - (build of vscode-1.50.1) + (build of vscode-1.51.0)

Example:

pkgs.vscodium

Declared by:

<home-manager/modules/programs/vscode.nix>
programs.vscode.extensions

The extensions Visual Studio Code should be started with. diff --git a/tools.html b/tools.html index 80846982e..afbd08f38 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 | @@ -52,7 +52,12 @@ ] [ --cores number ] [ - --max-jobs number + { + -j + | + --max-jobs + } + number ] [ --keep-failed ] [ @@ -132,7 +137,7 @@ available for immediate garbage collection.

-

Options

+

Options

The tool accepts the options

-A attrPath @@ -194,6 +199,8 @@

Passed on to nix-build(1).

+ -j number + , --max-jobs number

Passed on to nix-build(1). @@ -219,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