From 7e725364237fd9bb375c4ec4695ca7ded03a8152 Mon Sep 17 00:00:00 2001 From: Artem Sheremet Date: Mon, 23 Sep 2013 15:16:05 +0300 Subject: [PATCH] Disable zsh shared history (wasn't useful) --- .rc | 1 - .zshrc | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/.rc b/.rc index 4620416..35eed21 100644 --- a/.rc +++ b/.rc @@ -104,7 +104,6 @@ alias sudo='sudo -E ' alias su='su -m' # work -alias rmunv='rm -r $(svn st | grep "^?" | sed -r "s/^\? +//")' alias webui='cd $webui' # useful stuff diff --git a/.zshrc b/.zshrc index 7b26f75..82f8fea 100644 --- a/.zshrc +++ b/.zshrc @@ -52,7 +52,7 @@ bindkey -M vicmd '?' history-incremental-pattern-search-forward bindkey -M viins '^R' history-incremental-pattern-search-backward bindkey -M viins '^F' history-incremental-pattern-search-forward -setopt share_history +#setopt share_history setopt inc_append_history autoload -U promptinit