Bash: afficher la date d’une commande dans l’historique

L’historique du shell par défaut est affiché avec le numéro de la commande dans l’hitorique et la commande elle-même.

Exemple :

 $ history
 ...
 650 unzip favicon.zip
 651 more browserconfig.xml
 652 rm favicon.zip
 653 cd wp-content/
 654 ls -l
 655 cd themes/casper-master/
 656 ls -l
 657 vim footer.php
 658 vim footer.php
 659 man history
 660 history

Il peut être pratique de retrouver quand une commande a été exécutée. Pour cela, il faut changer le format d’affichage de la commande via une variable d’environnement.

Pour changer le format dans la session courante :

HISTTIMEFORMAT="%d/%m/%y %T "

Pour changer le format à chaque ouverture de session, il faut mettre son fichier .bash_profile :

echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.bash_profile

L’historique après la mise à jour du format :

 $ history
  ...
  650  03/08/15 18:12:55 unzip favicon.zip
  651  03/08/15 18:12:59 more browserconfig.xml
  652  03/08/15 18:13:05 rm favicon.zip
  653  03/08/15 18:15:14 cd wp-content/
  654  03/08/15 18:15:14 ls -l
  655  03/08/15 18:15:18 cd themes/casper-master/
  656  03/08/15 18:15:19 ls -l
  657  03/08/15 18:15:21 vim footer.php
  658  03/08/15 18:17:28 vim footer.php
  659  03/08/15 18:19:28 man history
  660  03/08/15 18:21:14 history
  661  03/08/15 18:23:16 HISTTIMEFORMAT="%d/%m/%y %T "
  662  03/08/15 18:23:19 history