# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1323182626 -3600
# Node ID 13e0030ddaad6e2307c8e356ad6595c2d780b0fb
# Parent  fb0e9740a20c3659fa5e284c88141b96b36376c8
ignore duplicate history entries

diff -r fb0e9740a20c -r 13e0030ddaad zshrc
--- a/zshrc	Tue Dec 06 05:19:13 2011 +0100
+++ b/zshrc	Tue Dec 06 15:43:46 2011 +0100
@@ -28,6 +28,8 @@
 setopt nohup
 setopt no_check_jobs
 
+setopt hist_ignore_all_dups
+
 # $HOST can either be just the host name or the FQDN. Standardize on the raw host name
 export HOST=`echo $HOST | awk -F '.' '{ print $1 }'`