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:
As part of my personal „move away from evernote“ initiative this has been documented here, maybe it’s interesting for somebody.