[BASH] Personnaliser la commande history (ajout date + heure)

Vos petites astuces, répertoire des tutoriels et astuces
Répondre
Avatar du membre
cyrille
Administrateur du site
Messages : 12285
Enregistré le : mar. 19 sept. 2017 08:49
Localisation : Nowhere
Contact :

[BASH] Personnaliser la commande history (ajout date + heure)

Message par cyrille »

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

Code : Tout sélectionner

man history
En gros c'est l'historique des commandes passées par le terminal

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 "
Sauvergarder (crt + O ; ENTRE ; Ctr + X)

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)
Ces paramètres ne sont pas les seuls, vous pouvez modifier l'ordre et en mettre des autres également en fonction de vos souhaits...

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.


Image
?séuqartéd sel ruoP / sécnoféd sel ruoP / sreiruréB sel ruoP / ?étéicos elleuQ

https://crust.ovh


Répondre