3 ms·

Thanks for the link! I've been looking for a writeup on bash history features for a while. These things are very useful day-to-day.