Wie läßt sich unter Unix/Linux die History um Datum und Uhrzeit erweitern?
Das Aussehen der History lässt sich mit Hilfe der Variablen HISTTIMEFORMAT verändern.
HISTTIMEFORMAT="%d/%m/%y %T "
oder
echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.bash_profile
Wobei,
- %d – Tag
- %m – Monat
- %y – Jahr
- %T – Uhrzeit
Advertisements
