From 25a8283fdf77fec948c7c71efc583d62ddbe0c18 Mon Sep 17 00:00:00 2001
From: Alan Pearce
Date: Fri, 8 Jun 2018 15:02:19 +0200
Subject: zsh: re-configure history

---
 zsh/.config/zsh/.zshrc | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/zsh/.config/zsh/.zshrc b/zsh/.config/zsh/.zshrc
index a26ff233..ac2a0345 100644
--- a/zsh/.config/zsh/.zshrc
+++ b/zsh/.config/zsh/.zshrc
@@ -1,9 +1,14 @@
 # -*- mode: sh; -*-
 source $HOME/.zplugin/bin/zplugin.zsh
 
-HISTSIZE=3000
-SAVEHIST=10000
+HISTSIZE=10000
+SAVEHIST=20000
 HISTFILE=${XDG_CACHE_HOME:=$HOME/.cache}/zsh/history
+setopt extended_history
+setopt hist_save_no_dups
+setopt hist_ignore_space
+unsetopt share_history
+setopt inc_append_history_time
 
 WORDCHARS=${${WORDCHARS//[-.]}//[\/]}
 
-- 
cgit 1.4.1