From 944c06d24348ae3e9244d6f518d6ade99a18fd39 Mon Sep 17 00:00:00 2001
From: Thomas Ruoff <ThomasRuoff@gmail.com>
Date: Sun, 28 Jun 2015 23:57:58 +0200
Subject: [PATCH] set history settings

---
 zshrc | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/zshrc b/zshrc
index 8b66bab..c8fcddf 100644
--- a/zshrc
+++ b/zshrc
@@ -16,3 +16,25 @@ if ! zgen saved; then
     zgen save
 fi
 
+# keybindings
+
+bindkey '^r' history-incremental-search-backward
+bindkey ' ' magic-space
+
+# history settings (from oh-my-zsh)
+if [ -z "$HISTFILE" ]; then
+    HISTFILE=$HOME/.zsh_history
+fi
+
+HISTSIZE=10000
+SAVEHIST=10000
+
+setopt append_history
+setopt extended_history
+setopt hist_expire_dups_first
+setopt hist_ignore_dups # ignore duplication command history list
+setopt hist_ignore_space
+setopt hist_verify
+setopt inc_append_history
+setopt share_history # share command history data
+