Historique Bash

Une des commande de base fournie lors de l’installation de bash (on par de built-in command) est la commande history.

Cette commande permet de visualiser les commandes que l’utilisateur en cours a tapé dans son shell auparavant.

La taille de l’historique qui est enregistré dans le répertoire de base de l’utilisateur sous le nom .bash_history est généralement limitée à 1000 enregistrements en mémoire, et le fichier lui mème ne doit pas dépasser les 2000 enregistrements.

Tout ça pour dire que si vous tapper 2000 fois les mème commande, dans une configuration par défaut, vous perdrez les commandes tapées auparavant.

De plus, si vous ouvrez un deuxième bash, vous ne verrez pas l’historique du premier.

On va donc modifier les paramètres pour remédier à ce problème en éditant le fichier ~/.bashrc d’un compte utilisateur:

#HISTCONTROL=ignoreboth
HISTCONTROL=ignoredups:erasedups

# append to the history file, don't overwrite it
shopt -s histappend

PROMPT_COMMAND="history -n; history -w; history -c; history -r; $PROMPT_COMMAND"

# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
HISTSIZE=10000
HISTFILESIZE=20000

# check the window size after each command and, if necessary,
# update the values of LINES and COLUMNS.
shopt -s checkwinsize

Cela permet donc de supprimer les commandes en double et de les ajouter à la fin.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.