Recherche ...

05/11/2009

Optimiser son Bash : modifier la taille de l'historique

Par défaut, l'historique des commandes lancées dans son Bash est limité au 500 dernières commandes lancées (ce qui est la plupart du temps largement suffisant).

Pour modifier cette taille et conserver dans son historique les 1000 dernières commandes exécutées, il faut ajouter une des 2 lignes suivantes dans votre fichier ~/.bashrc :

HISTSIZE=1000
ou
HISTFILESIZE=1000

04/11/2009

Optimiser son Bash : éviter les duplications dans son historique

Il m'arrive souvent d'exécuter la même commande plusieurs fois de suite et chaque exécution est stockée dans mon fichier d'historique bash (.bash_history) ce qui est assez pénible quand on veut revenir sur un commande précédemment tapée.

Il existe un paramétrage très simple à faire pour demander au Bash d'ignorer les commandes identiques dans l'historique : HISTCONTROL

Pour cela ajouter la ligne suivante dans votre fichier ~/.bashrc :
HISTCONTROL=ignoredups