more bash options\! timestamps on history\!