Profile, history

Categoria: Configurazioni Linux

Introduzione

Configurazioni utili per la history.

$ echo $HISTFILE
/home/myuser/.bash_history

Configurazioni

echo export HISTSIZE=\"\" >> /etc/profile
echo export HISTCONTROL=erasedups >> /etc/profile
echo export HISTCONTROL=ignoredups >> /etc/profile
echo export HISTTIMEFORMAT=\"%F %T  \" >> /etc/profile
echo shopt -s histappend >> /etc/profile

HISTSIZE

$ echo $HISTSIZE
500

• export HISTSIZE="" = setta dimensione illimitata.

HISTCONTROL

$ echo $HISTCONTROL
ignorespace:ignoredups

• export HISTCONTROL=ignoredups:ignorespace:
  • erasedups' = cancella dalla history eventuali ripetizioni di comandi in successione se presenti
  • ignoredups = ignora i comandi ripetuti in successione tenendo il singolo comando senza tenere quindi il totale delle volte eseguito in successione
  • ignorespace = ignora i comandi che iniziano con uno spazio, un comando inviato in questo modo " pwd" non verrà registrato a differenza di "pwd"

HISTTIMEFORMAT

$ echo $HISTTIMEFORMAT
%F %T

• export HISTTIMEFORMAT=\"%F %T \" = imposta il salvataggio dei log dell'history comprensivi di formato data/ora in base ai parametri passati

y	year in 2-digit format
Y	year in 4-digit format
m	month in 2-digit format
d	day in 2-digit format
T	time in 24-hour format
%r	date in 12 hour AM/PM format
%D	date in mm/dd/yy format

shopt

shopt -s histappend

Con questo comando è possibile cambiare il comportamento opzionale addizionale della Shell.

• -s = abilita optname
• histappend = Se impostato, l'elenco dell'History viene aggiunto al file indicato dal valore della variabile HISTFILE quando la shell viene chiusa, anziché sovrascrivere il file perdendo lo storico ad ogni chiusura della shell.