X-Git-Url: http://git.grml.org/?a=blobdiff_plain;f=zsh_people%2Fbruno_bonfils%2Frc%2Fhistory.rc;fp=zsh_people%2Fbruno_bonfils%2Frc%2Fhistory.rc;h=0000000000000000000000000000000000000000;hb=5cb88f9fb34ecec3c6fdf321e4f5842da0102ef1;hp=56912ffd0c240297bcc15d49ff4b5dc153266bf6;hpb=570683afd3efabdf224dbc2fcebf9467a3653638;p=zsh-lovers.git

diff --git a/zsh_people/bruno_bonfils/rc/history.rc b/zsh_people/bruno_bonfils/rc/history.rc
deleted file mode 100644
index 56912ff..0000000
--- a/zsh_people/bruno_bonfils/rc/history.rc
+++ /dev/null
@@ -1,13 +0,0 @@
-#
-# History options
-#
-
-setopt EXTENDED_HISTORY		# add a timestamp and the duration of each command
-setopt SHARE_HISTORY	 	# _all_ zsh sessions share the same history files
-setopt HIST_IGNORE_ALL_DUPS	# ignores duplications
-
-HISTFILE=~/.zsh/histories/${$(hostname)//.*/}
-HISTSIZE=10000
-SAVEHIST=10000
-
-export HISTFILE HISTSIZE SAVEHIST