| # append to bash_history if Terminal.app quits | |
| shopt -s histappend | |
| # history handling | |
| # | |
| # Erase duplicates | |
| # Bash History | |
| export HISTCONTROL="ignoredups" | |
| export HISTCONTROL=erasedups | |
| # resize history size | |
| export HISTSIZE=5000 | |
| export AUTOFEATURE=true autotest |