History

De Jose Castillo Aliaga
Ir a la navegación Ir a la búsqueda

El comandament history de bash junt en la capacitat de tornar enrere amb les fletxes del teclat, ens ajuda molt a repetir comandaments anteriors. Si executem history ens torna una llista dels comandaments que hem fet abans. Tot el historial es queda guardat en .bash_history. Ací tenim una selecció de les coses més interesants que es poden fer en ell.

Afegir a l'historial

Aquesta opció ja está en la majoria de distribucions modernes, però no està mal analitzar el que passa. L'historial actual pot sobreescriure l'anterior o afegir-se sense esborrar res. Això es pot modificar amb l'opció histappend del bash. Aquestes opcions es poden modificar en el comandament shopt:

shopt -s histappend

Aquest comandament, permet transformar els comandaments fets en varies línies en una sola (activat per defecte) amb:

shopt -s cmdhist

Permetre un major historial

Els discos són molt grans i ràpids ara, i tindre un gran historial pot ser més beneficiós, sobretot per a un administrador. Podem afegir aquests comandaments al .bashrc del nostre usuari:

HISTFILESIZE=1000000
HISTSIZE=1000000 

No guardar alguns comandaments

Hi ha comandaments que no fa falta guardar sempre. Per defecte, bash té guardada una variable anomenada $HISTCONTROL=ignoreboth que vol dir que ignora les línies que comencen en espai (ignorespace) i les duplicades (ignoredups).

Hi ha comandaments molt comuns que, per legibilitat de l'historial no fa falta sempre guardar, això es pot controlar en $HISTIGNORE:

HISTIGNORE='ls:bg:fg:history'

Guardar la data de l'historial

Pot ser interessant guardar la data per buscar comandaments si recordem, per exemple, el dia en que es van fer.

HISTTIMEFORMAT='%F %T: '

Guardar inmediatament

Per defecte, bash guarda l'historial sols quan ix, si posem la següent variable, es guarda inmediatament després de cada comandament:

PROMPT_COMMAND='history -a'