]> git.donarmstrong.com Git - zsh.git/blobdiff - .zsh/zshrc/80_history
add zsh modes to everything
[zsh.git] / .zsh / zshrc / 80_history
index faf9e6d6208b19aab4ad8f4dda80746ff6904e63..d5d71d2ed97401ff4cbaf0d962b4e6abf5095fcf 100644 (file)
@@ -1,3 +1,4 @@
+# -*- mode: sh -*-
 # zshrc/80_history
 #
 # Set up command line history functions
@@ -24,10 +25,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