X-Git-Url: https://git.madduck.net/etc/zsh.git/blobdiff_plain/fb8769fc4556cf2fdef03bbcacd913c77a7dcb6a..dffaced336ebd944972a3bd0be6a5ab21905eff4:/.zsh/zshrc/80_history diff --git a/.zsh/zshrc/80_history b/.zsh/zshrc/80_history index d32d4ea..563ad90 100644 --- a/.zsh/zshrc/80_history +++ b/.zsh/zshrc/80_history @@ -5,7 +5,7 @@ # Copyright © 1994–2008 martin f. krafft # 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