# Special nice features for bash

if [ "$PS1" ]  && [ -n "$BASH" ]; then
    # automatically save the history after each command
    PROMPT_COMMAND="history -a; $PROMPT_COMMAND"

    # do not save several time the same command in a row
    HISTCONTROL=ignoredups

    # automatically correct the info on window size
    # do not do autocompletion on empty line
    # allow mixing history when several shells running in parallel
    # automatically fix the hash table of known commands
    shopt -s checkwinsize no_empty_cmd_completion histappend checkhash 
fi