history is saved to file and concatenated in read()