Rework zsh history
This commit is contained in:
parent
9462a7486e
commit
8a7c0c84a0
1 changed files with 2 additions and 2 deletions
|
@ -6,10 +6,10 @@
|
||||||
defaultKeymap = "viins";
|
defaultKeymap = "viins";
|
||||||
enableCompletion = true;
|
enableCompletion = true;
|
||||||
history = {
|
history = {
|
||||||
expireDuplicatesFirst = true;
|
ignoreAllDups = true;
|
||||||
save = 10000;
|
save = 10000;
|
||||||
share = true;
|
share = true;
|
||||||
path = ".local/share/zsh/history";
|
path = "$HOME/.local/share/zsh/history";
|
||||||
};
|
};
|
||||||
historySubstringSearch = {
|
historySubstringSearch = {
|
||||||
enable = true;
|
enable = true;
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue