# HG changeset patch # User Meredith Howard # Date 1453502689 18000 # Node ID 721455edd12b8225802a7ea168fbf5bdf59dcda1 # Parent 9315299c4adcc2e5cab132f6b21acbf2b9c42c9b Add some zsh options diff --git a/.zshrc b/.zshrc --- a/.zshrc +++ b/.zshrc @@ -38,6 +38,15 @@ fi # User configuration path=("$HOME/bin" "$path[@]") +REPORTTIME=5 + +setopt list_packed +setopt correct +setopt hist_reduce_blanks +setopt hist_save_no_dups + +export HISTIGNORE="ls:cd:cd -:pwd:exit:date:* --help" + source ~/.profile.common for ENVTHING in $envthings; do