Aggiungere un timestamp alla bash history

Faccio un po’ di trackbacking dal blog di lord_dex (leggetelo ogni tanto, scrive roba interessante) per segnalarvi come aggiuntere date and time nella bash history.

history con timestamp

history con timestamp

Basta semplicemente fare l’export della variabile HISTTIMEFORMAT indicando il timestamp che più preferite.

Ecco l’esempio riportato da lui:

1
export HISTTIMEFORMAT="%h/%d - %H:%M:%S "

Io vi consiglio:

1
export HISTTIMEFORMAT="[%d %h - %H:%M:%S] "

tanto per rendere un po’ più leggibile l’output (ovviamente giorno e mese potrebbero essere superflui ;), dipende da voi).

History inizierà a riportare subito la modifica, in bash_history verrà invece salvato il tempo Unix di quando è stato eseguito il comando.

Altre variabili di interesse potrebbero essere…

HISTCMD The history number, or index in the history list, of the current command.
HISTCONTROL Defines whether a command is added to the history file.
HISTFILE The name of the file to which the command history is saved. The default value is ~/.bash_history.
HISTFILESIZE The maximum number of lines contained in the history file, defaults to 500.
HISTIGNORE A colon-separated list of patterns used to decide which command lines should be saved in the history list.
HISTSIZE The maximum number of commands to remember on the history list, default is 500.

Insomma… c’è di tutto per una buona personalizzazione… :P

Rispondi