decade-public/over-env
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

removes history sharing from zshrc

Browse source
This commit is contained in:
Martinez 2017-04-07 13:48:47 +02:00
parent 045f010420
commit 5a2cc33726
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
dotfiles/system/etc/zsh/zshrc
View file

@ -119,8 +119,6 @@ HISTFILE=~/.history
HISTSIZE=10000000
SAVEHIST=10000000
setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed;command" format.
setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits.
setopt SHARE_HISTORY # Share history between all sessions.
setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history.
setopt HIST_IGNORE_DUPS # Don't record an entry that was just recorded again.
setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate.