refine bash history