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

bash: add bash package to home.packages

Fixes #5295
This commit is contained in:
Robert Helgesson 2024-04-19 09:50:22 +02:00
parent ffc3600f40
commit f3506ba86c
No known key found for this signature in database
GPG key ID: 96E745BD17AA17ED

View file

@ -190,6 +190,8 @@ in {
HISTIGNORE = escapeShellArg (concatStringsSep ":" cfg.historyIgnore); HISTIGNORE = escapeShellArg (concatStringsSep ":" cfg.historyIgnore);
})); }));
in mkIf cfg.enable { in mkIf cfg.enable {
home.packages = [ pkgs.bashInteractive ];
home.file.".bash_profile".source = writeBashScript "bash_profile" '' home.file.".bash_profile".source = writeBashScript "bash_profile" ''
# include .profile if it exists # include .profile if it exists
[[ -f ~/.profile ]] && . ~/.profile [[ -f ~/.profile ]] && . ~/.profile