1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-20 01:59:45 +01:00

home-manager: slightly expand option description

This commit is contained in:
Robert Helgesson 2023-03-11 22:44:26 +01:00
parent 7224d7c54c
commit bf5712c586
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -18,11 +18,10 @@ in {
default = null; default = null;
example = "$HOME/devel/home-manager"; example = "$HOME/devel/home-manager";
description = '' description = ''
The default path to use for Home Manager. If this path does The default path to use for Home Manager. When
not exist then <literal>null</literal>, then the <filename>home-manager</filename>
<filename>$HOME/.config/nixpkgs/home-manager</filename> and channel, <filename>$HOME/.config/nixpkgs/home-manager</filename>, and
<filename>$HOME/.nixpkgs/home-manager</filename> will be <filename>$HOME/.nixpkgs/home-manager</filename> will be attempted.
attempted.
''; '';
}; };
}; };