Einfach unter /etc/profile folgende Zeile hinzufügen:
HISTTIMEFORMAT="%h/%d - %H:%M:%S "
Danach sieht z.B. die History so aus:
6 Oct/19 - 08:40:24 history 7 Oct/19 - 08:43:54 less /etc/profile 8 Oct/19 - 08:44:27 history
Kommentare