X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=.zsh%2Fzshrc%2F80_history;h=563ad908eb5b9c09d3fb113d4bd338c9972a9500;hb=2dfbee08389e20588a648f1f6ab18c0d9e04a1b9;hp=d32d4eadebb87b9673cfb5c425bcb337d454f826;hpb=fb8769fc4556cf2fdef03bbcacd913c77a7dcb6a;p=zsh.git 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