.bashrc: a bit less ugly MY_HISTORY_CMD