X-Git-Url: https://git.madduck.net/etc/zsh.git/blobdiff_plain/e7aef48f33e934106d1a50201d9f098f9886d7ec..e45b0db3d66ca9e041622db3d801d026fb4d3724:/.zsh/zshrc/80_history?ds=sidebyside diff --git a/.zsh/zshrc/80_history b/.zsh/zshrc/80_history index faf9e6d..2f97935 100644 --- a/.zsh/zshrc/80_history +++ b/.zsh/zshrc/80_history @@ -2,10 +2,10 @@ # # Set up command line history functions # -# Copyright © 1994–2008 martin f. krafft +# Copyright © 1994–2017 martin f. krafft # Released under the terms of the Artistic Licence 2.0 # -# Source repository: git://git.madduck.net/etc/zsh.git +# Source repository: http://git.madduck.net/v/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