From 5a2cc33726d77b8417983d726725a8c02055d3eb Mon Sep 17 00:00:00 2001 From: Martinez Date: Fri, 7 Apr 2017 13:48:47 +0200 Subject: [PATCH] removes history sharing from zshrc --- dotfiles/system/etc/zsh/zshrc | 2 -- 1 file changed, 2 deletions(-) diff --git a/dotfiles/system/etc/zsh/zshrc b/dotfiles/system/etc/zsh/zshrc index 2652004..b6962cc 100644 --- a/dotfiles/system/etc/zsh/zshrc +++ b/dotfiles/system/etc/zsh/zshrc @@ -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.