Merge branch 'master' of ssh://git.madduck.net/madduck/pub/etc/zsh

[zsh.git] / .zsh / zshrc / 80_history

diff --git a/.zsh/zshrc/80_history b/.zsh/zshrc/80_history
index d32d4eadebb87b9673cfb5c425bcb337d454f826..563ad908eb5b9c09d3fb113d4bd338c9972a9500 100644 (file)
--- a/.zsh/zshrc/80_history
+++ b/.zsh/zshrc/80_history
@@ -5,7 +5,7 @@
 # Copyright © 1994–2008 martin f. krafft <madduck@madduck.net>
 # Released under the terms of the Artistic Licence 2.0
 #
-# Source repository: http://git.madduck.net/v/etc/zsh.git
+# Source repository: git://git.madduck.net/etc/zsh.git
 #
 
 # typeset -g on this one to make warn_create_global happy
@@ -24,10 +24,8 @@ setopt hist_ignore_dups
 # save timestamp and duration with each event
 setopt extended_history
 
-# properly lock the file on write
-autoload -U is-at-least
-# actually ignores the -dev-* stuff, but so be it
-is-at-least 4.3.6-dev-0+0417 && setopt hist_fcntl_lock
+# properly lock the file on write, if that option exists
+setopt hist_fcntl_lock 2>/dev/null
 
 # skip over non-contiguous duplicates when searching history
 setopt hist_find_no_dups