Hacker News new | ask | show | jobs
by fs111 3225 days ago
You can do that w/o external tools, at least in bash. Just set HISTTIMEFORMAT. see man bash.