Aggregate bash history of multiple terminals