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