June 28, 2025

add timestamp to history in bash shell