+# -*- mode: sh -*-
# zshrc/80_history
#
# Set up command line history functions
# 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
# 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