Share history to other bash shells