changeset 12:13e0030ddaad

ignore duplicate history entries
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 06 Dec 2011 15:43:46 +0100
parents fb0e9740a20c
children f6fdf0fe99c3
files zshrc
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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 }'`