From b01f55206cd98ed5626cce1ba6006f2f93eca839 Mon Sep 17 00:00:00 2001 From: rycee Date: Fri, 22 Jan 2021 22:45:04 +0000 Subject: [PATCH] deploy: 08fc1586c0f2262bd0ecc383efe6d67eb1b2ec9f --- index.html | 4 ++-- options.html | 4 ++++ tools.html | 6 +++--- 3 files changed, 9 insertions(+), 5 deletions(-) diff --git a/index.html b/index.html index 1bcf302d7..45da55a03 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 20e234a71..7e625a946 100644 --- a/options.html +++ b/options.html @@ -2765,6 +2765,10 @@ initialisation.

programs.fzf.enableZshIntegration

Whether to enable Zsh integration.

Type: boolean

Default: true +

Declared by:

+ <home-manager/modules/programs/fzf.nix> +
programs.fzf.package

Package providing the fzf tool.

Type: package

Default: + pkgs.fzf

Declared by:

<home-manager/modules/programs/fzf.nix>
programs.fzf.changeDirWidgetCommand

The command that gets executed as the source for fzf for the diff --git a/tools.html b/tools.html index 0390dcbdd..6ff7ae18f 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.