Turning off bash's history