From dd447311b9ae56f205120a87ae597e6f3a99e702 Mon Sep 17 00:00:00 2001 From: Loic Nageleisen Date: Wed, 6 Feb 2013 18:02:06 +0100 Subject: [PATCH] zsh history: ignore space --- zsh/history | 1 + 1 file changed, 1 insertion(+) diff --git a/zsh/history b/zsh/history index beed1d1..096b555 100644 --- a/zsh/history +++ b/zsh/history @@ -1,5 +1,6 @@ # ignore sequential duplicates setopt hist_ignore_dups +setopt hist_ignore_space # keep 1000 lines of history within the shell and save it to ~/.zsh_history: HISTSIZE=1000