zsh: save history immediately
This commit is contained in:
parent
2efd27b371
commit
cb201df3d2
1 changed files with 4 additions and 0 deletions
|
@ -1,3 +1,7 @@
|
||||||
|
setopt APPEND_HISTORY # Append history rather than overwrite.
|
||||||
|
setopt EXTENDED_HISTORY # Save beginning timestamp and duration.
|
||||||
|
setopt INC_APPEND_HISTORY # Don't wait until shell exits to save history.
|
||||||
|
|
||||||
HISTFILE="${XDG_DATA_HOME:-$HOME/.local/share}/zsh/history"
|
HISTFILE="${XDG_DATA_HOME:-$HOME/.local/share}/zsh/history"
|
||||||
HISTSIZE=1000000
|
HISTSIZE=1000000
|
||||||
SAVEHIST=1000000
|
SAVEHIST=1000000
|
||||||
|
|
Loading…
Add table
Reference in a new issue