History file with push commands