Use bash's history append option