home: zsh: use extended history
I have `inc_append_history_time` set, so I should use extended history...
This commit is contained in:
parent
4786552e8c
commit
ff66361f65
1 changed files with 1 additions and 1 deletions
|
|
@ -22,7 +22,7 @@ in
|
|||
history = {
|
||||
size = 500000;
|
||||
save = 500000;
|
||||
extended = false;
|
||||
extended = true;
|
||||
ignoreSpace = true;
|
||||
ignoreDups = true;
|
||||
share = false;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue