diff --git a/index.html b/index.html index 2a4df6ab..bab887d2 100644 --- a/index.html +++ b/index.html @@ -1,14 +1,12 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describes how to install, use, and extend Home Manager.
If you encounter problems then please reach out on the IRC channel
- #home-manager
- hosted by freenode.
- The channel logs
- are hosted courtesy of samueldr.
+ #home-manager
+ hosted by OFTC.
If your problem is caused by a bug in Home Manager then it should
be reported on the
Home Manager issue tracker.
@@ -243,7 +241,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 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,
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
|
@@ -74,7 +74,7 @@
|
--verbose
}
- ]
This command updates the user environment so that it corresponds to the
configuration specified in ~/.config/nixpkgs/home.nix
or ~/.config/nixpkgs/flake.nix
.
@@ -139,7 +139,7 @@ available for immediate garbage collection.
-
The tool accepts the options
-A attrPath
@@ -234,15 +234,15 @@
--verbose
Activates verbose output. -