From 3fc812afc9af75e49a8f99bad3ada41672547503 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?G=C3=B6ran=20Gustafsson?= <gustafsson.g@gmail.com>
Date: Sat, 3 Dec 2011 13:18:37 +0100
Subject: [PATCH] Removed duplicate setting and sorted the remaining

---
 lib/history.zsh | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/lib/history.zsh b/lib/history.zsh
index ca6f57079..876936b87 100644
--- a/lib/history.zsh
+++ b/lib/history.zsh
@@ -3,14 +3,11 @@ HISTFILE=$HOME/.zsh_history
 HISTSIZE=10000
 SAVEHIST=10000
 
-setopt hist_ignore_dups # ignore duplication command history list
-setopt share_history # share command history data
-
-setopt hist_verify
-setopt inc_append_history
+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 SHARE_HISTORY
-setopt APPEND_HISTORY
+setopt hist_verify
+setopt inc_append_history
+setopt share_history # share command history data
-- 
2.21.0