May 31, 2025

add timestamp to history in bash shell