<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">help: recent command history
run: HISTTIMEFORMAT='%FT%T%z '
     HISTFILE="$HOME/.bash_history"
     \set -o history 
     history 20
</pre></body></html>