Zeitangabe in der History

Wer auf einem Raspberry Pi die Zeit auch in der History haben will,

kann in der Datei

/home/pi/.bashrc

disen Eintrag ergänzen:

HISTTIMEFORMAT=“%F %T: „

So sieht des dann aus, und man kann denn auch erkennen, wann ein Befehl ausgeführt wurde.