Archiv für den Tag: 17. Juli 2017

Shell: History mit Datum

Wann wurde der letzte Befehl eingegeben?

echo 'export HISTTIMEFORMAT="%Y-%m-%d %T "' >> ~/.bashrc
source ~/.bashrc

Führt zu dieser Auflistung:

  ...
 2005  2017-07-17 11:48:56 echo 'export HISTTIMEFORMAT="%Y-%m-%d %T "' >> ~/.bashrc
 2006  2017-07-17 11:48:58 source ~/.bashrc
 2007  2017-07-17 11:49:00 history

Hinweis:
Alle Einträge vor diesem Befehl können natürlich nicht mehr mit dem korrekten Zeitstempel versehen werden und bekommen den aktuellen Zeitstempel.