Pour ceux qui ne connaissent pas la commande history, commencer par
Code : Tout sélectionner
man history
Code : Tout sélectionner
$ history 5
33 egrep '[tm].*er' fichier.txt
34 zenity --info --text "aze" &
35 df -h
36 egrep '^[tm].*er' fichier.txt
37 history 5
Editer le fiche ~/.profile ou ~/.bash_profile (s'il existe) qui est le fichier lu quand le shell est invoqué comme shell interactif de connexion.
Nous utiliserons ici ~/.profile mais on peut le faire aussi via .bash_profile (si pas invoqué directement par /bin/sh). Editer ce fichier et ajouter à la fin
Code : Tout sélectionner
nano .profile
# Personnalisation de history
HISTTIMEFORMAT="%d/%m/%y %T "
Avec
- %d : numéro du jour dans le mois
- %m : numéro du mois dans l'année
- %y : l'année (format court)
- %T : heure (YY:MN:SEC)
Ressourcer la configuration .
Code : Tout sélectionner
source .profile
Dès lors la commande history précisera l'heure et la date des dernières commandes passées au shell.