]> git.madduck.net Git - etc/zsh.git/blobdiff - .zsh/zshrc/80_history

madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

add trace function
[etc/zsh.git] / .zsh / zshrc / 80_history
index faf9e6d6208b19aab4ad8f4dda80746ff6904e63..563ad908eb5b9c09d3fb113d4bd338c9972a9500 100644 (file)
@@ -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