Parfois, on ne sait plus si on a relancé une commande dans le terminal...
Pour avoir un historique daté, voici une petite configuration à ajouter à son .bashrc
Désormais, l'appel à l'historique produit des lignes avec les informations jour/mois heure/minute
