#!/bin/bash | |
# 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 |