Bash History mit Timestamp

Da wir nun mit den anderen beiden Befehlen vorher nicht durcheinander zu kommen, wäre ein Timestamp nicht schlecht um sich orientieren zu können. export HISTTIMEFORMAT='%a %T ' Bei dem Format für den Timestamp kann man sich anhand von strftime von PHP Orientieren, da hier die Parameter gleich sind.