diff zshrc @ 12:13e0030ddaad

ignore duplicate history entries
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 06 Dec 2011 15:43:46 +0100
parents 6c4ab833e66d
children f6fdf0fe99c3
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 }'`