diff --git a/index.html b/index.html index 284f6bb96..2bfb77bcf 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?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.
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.
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,
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.
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.
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,
home-manager +
home-manager — reconfigure a user environment
home-manager
{
build
|
@@ -72,7 +72,7 @@
|
--verbose
}
- ]
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.
-
The tool accepts the options
-A attrPath
@@ -226,15 +226,15 @@
--verbose
Activates verbose output. -