Re,
> Je voudrais horodater les commandes que je tape dans bash. En gros, afficher
> la date et l'heure juste avant que la commande ne s'exécute, et juste après
> qu'elle se soit exécuter.
>
> Une idée comment faire ça ? Il y a bien le prompt qu'on peut modifier, mais
> je ne vois pas trop comment faire...
