X-Git-Url: https://git.madduck.net/etc/zsh.git/blobdiff_plain/fb8769fc4556cf2fdef03bbcacd913c77a7dcb6a..e45b0db3d66ca9e041622db3d801d026fb4d3724:/.zsh/zshrc/80_history diff --git a/.zsh/zshrc/80_history b/.zsh/zshrc/80_history index d32d4ea..2f97935 100644 --- a/.zsh/zshrc/80_history +++ b/.zsh/zshrc/80_history @@ -2,7 +2,7 @@ # # 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: http://git.madduck.net/v/etc/zsh.git @@ -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