Garder l'historique entre plusieurs terminaux (bash)

Dans un environnement graphique, on a tendance à utiliser plusieurs terminaux et on a souvent accès à l’historique des commandes.
Or l’historique des commandes tapées dans un terminal écrase celui d’un autre.
Pour remédier à cela, une simple commande à intègrer dans le ~/.bashrc:

shopt -s histappend

Ca aura pour conséquence de ne pas écraser le fichier de l’historique mais de rajouter les commandes.

shopt permet de configurer plusieurs options contrôlant le comportement du shell.
Pour plus d’info:

man bash

Commentaire (1)