Mon, Jan 1, 0001

2018-08-01 gnome automatic terminal tab titles based on directory

Got a good start in my mlncn/scripts/.bash_custom !

## Set terminal title; keep pre-existing history prompts
PROMPT_COMMAND='history -a; history -n; echo -en "\033]0;$(whoami)@$(hostname)|$(pwd|cut -d "/
" -f 4-100)\a"'