Dans ce petit article, nous allons voir comment ajouter un horodatage à la fameuse commande "history" sous Linux.
