HISTORIQUE HISTORY

Par défaut, le shell garde une trace des dernières commandes entrées. Cette trace est confinée dans le fichier $HOME/.bash_history

Petit survol des principales variables y relatives:

HISTIGNORE Liste de motifs séparés par des ``:'' unset

HISTCONTROL Fonction de l'un des trois mots clef: ignorespace, ignoredups ou ignoreboth. unset

HISTSIZE Nombre de ligne gardées en mémoire. 500

HISTFILE Nom du fichier de sauvegarde de l'historique. $HOME/.bash_history

HISTFILESIZE Taille maximum du fichier de sauvegarde. 500

Félix Hauri 2004-06-23

HISTIGNORE	Liste de motifs séparés par des ``:''	unset
HISTCONTROL	Fonction de l'un des trois mots clef: ignorespace, ignoredups ou ignoreboth.	unset
HISTSIZE	Nombre de ligne gardées en mémoire.	500
HISTFILE	Nom du fichier de sauvegarde de l'historique.	`$HOME/.bash_history`
HISTFILESIZE	Taille maximum du fichier de sauvegarde.	500