1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-25 03:09:47 +01:00

bash: reword option descriptions

This commit is contained in:
Robert Helgesson 2018-01-07 15:04:57 +01:00
parent 59f44c1189
commit 8a2bf21cee
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -93,13 +93,19 @@ in
profileExtra = mkOption { profileExtra = mkOption {
default = ""; default = "";
type = types.lines; type = types.lines;
description = "Extra commands that should be added to .profile."; description = ''
Extra commands that should be run when initializing a login
shell.
'';
}; };
initExtra = mkOption { initExtra = mkOption {
default = ""; default = "";
type = types.lines; type = types.lines;
description = "Extra commands that should be added to .bashrc."; description = ''
Extra commands that should be run when initializing an
interactive shell.
'';
}; };
}; };
}; };