Histórico (configuración)

( desarrollo / bash )

El histórico (history) tiene varias opciones que podemos cambiar para tener un mejor control del mismo. Aquí vamos a ver algunas opciones para el control y gestión del fichero de histórico (history).

Todas estas variables debemos ponerlas en un fichero donde se activen al arranque que puede ser ~/.bash_profile.

Modificado el 3 de marzo de 2013
Creado el 20 de febrero de 2009
   

Compartiendo conocimiento desde 1995 - I.M.D. I.M.D.