[BASH] Personnaliser la commande history (ajout date + heure)
Posté : sam. 16 mai 2020 11:00
Juste une astuce pour ceux qui utilisent le terminal et veulent ajouter à la commande history l'affichage de la date et de l'heure.
Pour ceux qui ne connaissent pas la commande history, commencer par
En gros c'est l'historique des commandes passées par le terminal
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
Sauvergarder (crt + O ; ENTRE ; Ctr + X)
Avec
Ressourcer la configuration .
Dès lors la commande history précisera l'heure et la date des dernières commandes passées au shell.
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.