I really need to give tpsh the ability to use $HISTFILE to save/restore the ReadLine history between sessions…