Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

zsh: add envExtra option

Browse source
This commit is contained in:
Tobias Happ 2019-07-23 21:58:06 +02:00 committed by Matthieu Coudron
parent ed0e40dee8
commit 5203340b64
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
modules/programs/zsh.nix
View file

@ -227,6 +227,12 @@ in
description = "Extra commands that should be added to <filename>.zshrc</filename>."; description = "Extra commands that should be added to <filename>.zshrc</filename>.";
}; };
envExtra = mkOption {
default = "";
type = types.lines;
description = "Extra commands that should be added to <filename>.zshenv</filename>.";
};
profileExtra = mkOption { profileExtra = mkOption {
default = ""; default = "";
type = types.lines; type = types.lines;
@ -293,6 +299,10 @@ in
}; };
config = mkIf cfg.enable (mkMerge [ config = mkIf cfg.enable (mkMerge [
(mkIf (cfg.envExtra != "") {
home.file."${relToDotDir ".zshenv"}".text = cfg.envExtra;
})
(mkIf (cfg.profileExtra != "") { (mkIf (cfg.profileExtra != "") {
home.file."${relToDotDir ".zprofile"}".text = cfg.profileExtra; home.file."${relToDotDir ".zprofile"}".text = cfg.profileExtra;
}) })