Merge pull request #5619 from oxij/various-changes-2

Various (hopefully) small changes
2015-01-07 16:59:10 +01:00
parent 4bbfa27e5c e4859ddd95
commit 24f5b2a1a0
5 changed files with 41 additions and 2 deletions
@@ -100,7 +100,7 @@ in
        export HISTSIZE=2000
        export HISTFILE=$HOME/.zsh_history

-        setopt HIST_IGNORE_DUPS SHARE_HISTORY
+        setopt HIST_IGNORE_DUPS SHARE_HISTORY HIST_FCNTL_LOCK
      '';

    };