From 7a8e956b72eb191b085c4691dea553a3b1537a84 Mon Sep 17 00:00:00 2001 From: rycee Date: Wed, 30 Dec 2020 23:48:14 +0000 Subject: [PATCH] deploy: 3e218f2600eca73a0c4307a926df9dc080c34570 --- index.html | 6 +++--- tools.html | 14 +++++++------- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/index.html b/index.html index 284f6bb96..2bfb77bcf 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.

@@ -244,7 +244,7 @@ overriding the default path by using the -I command

$ home-manager -I home-manager=$HOME/devel/home-manager

or

  • changing the default path by ensuring your configuration includes

    programs.home-manager.enable = true;
    -programs.home-manager.path = "$HOME/devel/home-manager";

    and running home-manager switch to activate the change. Afterwards, home-manager build and home-manager switch will use your cloned repository.

  • The first option is good if you only temporarily want to use your clone.

    3.2. Guidelines

    If your contribution satisfy the following rules then there is a good chance it will be merged without too much trouble. The rules are enforced by the Home Manager maintainers and to a lesser extent the Home Manager CI system.

    If you are uncertain how these rules affect the change you would like to make then feel free to start a discussion in the #home-manager IRC channel, ideally before you start developing.

    3.2.1. Maintain backward compatibility

    Your contribution should never cause another user’s existing configuration to break. Home Manager is used in many different environments and you should consider how you change may effect others. For example,

    • +programs.home-manager.path = "$HOME/devel/home-manager";

      and running home-manager switch to activate the change. Afterwards, home-manager build and home-manager switch will use your cloned repository.

    The first option is good if you only temporarily want to use your clone.

    3.2. Guidelines

    If your contribution satisfy the following rules then there is a good chance it will be merged without too much trouble. The rules are enforced by the Home Manager maintainers and to a lesser extent the Home Manager CI system.

    If you are uncertain how these rules affect the change you would like to make then feel free to start a discussion in the #home-manager IRC channel, ideally before you start developing.

    3.2.1. Maintain backward compatibility

    Your contribution should not cause another user’s existing configuration to break unless there is a very good reason and the change should be announced to the user through an assertion or similar.

    Remember that Home Manager is used in many different environments and you should consider how your change may effect others. For example,

    • Does your change work for people that do not use NixOS? Consider other GNU/Linux distributions and macOS.
    • Does your change work for people whose configuration is built on one system and deployed on another system? diff --git a/tools.html b/tools.html index 2cb8e352f..eab323bbc 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 | @@ -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