Have just been somehow annoyed by the default-format of the „history“-bash command:
- easy to fix this to use ISO Date/Time-Format
510 2020-12-05T17:46:33 echo 'export HISTTIMEFORMAT="%G-%m-%dT%T "' >> ~/.bash_profile
511 2020-12-05T17:46:42 source ~/.bash_profile
512 2020-12-05T17:46:47 history
Disclaimer
Since i’m trying to get rid of Evernote, too anoying too often, i’ll start to document non-private-stuff here.