#--------------------------------------------------------------------------
# zsh 4 options
#--------------------------------------------------------------------------

# Changing Directories
setopt auto_cd auto_pushd pushd_ignore_dups pushd_silent

# Completion
setopt auto_param_slash glob_complete list_beep list_packed list_rows_first

# History
setopt append_history
unsetopt bang_hist extended_history

# Job Control
setopt notify

# Other
setopt no_beep

#--------------------------------------------------------------------------
# history control
#--------------------------------------------------------------------------

SAVEHIST=100000
HISTSIZE=100000
if [ -e ~/priv/ ]; then
    HISTFILE=~/priv/zsh_history
else
    HISTFILE=~/.zsh_history
fi

# make sure history file isn't owned by root
# (a common problem)
if [ -n "$HISTFILE" -a ! -w $HISTFILE ]; then
    echo
    echo " HISTFILE [$HISTFILE] not writable! "
    echo
fi