April 4, 2025

add timestamp to history in bash shell