From 2c5c0464b07f2679a23643f0d82d62bbe62f6182 Mon Sep 17 00:00:00 2001 From: Max Bucknell Date: Sun, 1 Jan 2017 21:16:07 +0000 Subject: [PATCH] Fix history bungle --- zsh/zshrc.symlink | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/zsh/zshrc.symlink b/zsh/zshrc.symlink index 80acdf8..592cd3d 100644 --- a/zsh/zshrc.symlink +++ b/zsh/zshrc.symlink @@ -231,7 +231,6 @@ setopt pushd_silent # Pushd with no arguments is like cd with no arguments setopt pushd_to_home - ## History # Save history between sessions. @@ -265,25 +264,5 @@ setopt hist_ignore_all_dups # to do things correctly and see if it's slow. setopt hist_lex_words -# Append to the history file as each command is entered. -# -# The default behaviour is to append at the end of each session. In -# Fish, I had some troubles wherein I wanted something from the history -# in a new session, but I hadn't closed the old one. This fixes that. -# -# The reason we pick the time variant of this option is that this one -# writes the command when it has finished, as opposed to when it -# starts. This enables the extended history option above to remain -# correct. -# -# setopt inc_append_history_time - -# Read from the history file on up arrow. -# -# This supercedes the above option, so it has to be turned off to -# avoid duplication of history. I have kept the comments in place, -# because I think they are valuable. -setopt share_history - alias pbcopy='xclip -selection clipboard' alias pbpaste='xclip -selection clipboard -o'