profiles/dev: remove shell configuration

It's better to let this be handled by individual home-manager users.
This commit is contained in:
Gabriel Arazas 2023-11-26 11:41:23 +08:00
parent d519835c44
commit c50e199035
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC

View File

@ -114,18 +114,6 @@ in {
}) })
(lib.mkIf cfg.shell.enable { (lib.mkIf cfg.shell.enable {
programs.bash = {
enable = true;
historyControl = [ "erasedups" "ignoredups" "ignorespace" ];
historyIgnore = [
"cd"
"exit"
"lf"
"ls"
"nvim"
];
};
# Supercharging your shell history. Just don't forget to flush them out # Supercharging your shell history. Just don't forget to flush them out
# before doing questionable things. # before doing questionable things.
programs.atuin = { programs.atuin = {