bash: (optionally) save multiple history files