Comment: Use PROMPT_COMMAND to aggregate users' history into a single file