many options added
append to the history file instead of overwrite it
fix pager options
all terminals save history