Linux: set +o history