bash: ignore leading space + duplicates in history
All checks were successful
Flake checks / Check (pull_request) Successful in 28m23s
All checks were successful
Flake checks / Check (pull_request) Successful in 28m23s
This commit is contained in:
parent
6645e10afa
commit
386f2b2ba5
|
@ -8,7 +8,13 @@
|
|||
${name} = {
|
||||
programs.git.enable = true;
|
||||
programs.starship.enable = true;
|
||||
programs.bash.enable = true;
|
||||
programs.bash = {
|
||||
enable = true;
|
||||
historyControl = [
|
||||
"ignoredups"
|
||||
"ignorespace"
|
||||
];
|
||||
};
|
||||
programs.neovim = {
|
||||
enable = true;
|
||||
vimAlias = true;
|
||||
|
|
Loading…
Reference in a new issue