bash history for several files