flinner
/
dots
mirror of https://github.com/Flinner/dots.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

feat(zsh): shared history!

This commit is contained in:
Flinner Yuu 2022-07-14 13:48:09 +03:00
parent 7795666642
commit 5a999f6ff2
Signed by: flinner
GPG Key ID: 95CE0DA7F0E58CA6
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
zsh/.zshrc
View File

@ -81,11 +81,14 @@ setopt HIST_IGNORE_ALL_DUPS # do not put duplicated command into history list
setopt HIST_IGNORE_SPACE # Remove commands from history when the first character is a space setopt HIST_IGNORE_SPACE # Remove commands from history when the first character is a space
setopt HIST_SAVE_NO_DUPS # do not save duplicated command setopt HIST_SAVE_NO_DUPS # do not save duplicated command
setopt HIST_REDUCE_BLANKS # remove unnecessary blanks setopt HIST_REDUCE_BLANKS # remove unnecessary blanks
setopt INC_APPEND_HISTORY_TIME # append command to history file immediately after execution
setopt EXTENDED_HISTORY # record command start time
setopt CORRECT # Correct spelling of commands setopt CORRECT # Correct spelling of commands
setopt CORRECT_ALL # Correct spelling of arguments setopt CORRECT_ALL # Correct spelling of arguments
setopt INTERACTIVE_COMMENTS # can have comments at the prompt setopt INTERACTIVE_COMMENTS # can have comments at the prompt
setopt HIST_VERIFY # history expansions get verified in a new line
setopt SHARE_HISTORY # SHARE_HISTORY between zsh sessins
# disabled due to SHARE_HISTORY being used
#setopt INC_APPEND_HISTORY_TIME # append command to history file immediately after execution
setopt EXTENDED_HISTORY # record command start time
SAVEHIST=1000 SAVEHIST=1000
HISTSIZE=1000 HISTSIZE=1000
HISTFILE="$HOME/.local/share/zsh/zsh_history" HISTFILE="$HOME/.local/share/zsh/zsh_history"