help: recent command history
run: HISTFILE="$HOME/.bash_history"
     \set -o history 
     history 20