ajouter la date dans la commande « history » du terminal

Retouver une ligne de commande dans l’historique, c’est bien pratique.

Sur des serveurs où vous n’intervenez pas très fréquemment, ou sur des comptes que vous partagez avec différents collègues, il est parfois extrêmement pratique de pouvoir identifier à quel moment l’utilisateur a lancé une commande particulière.

Ajoutez simplement dans .bashrc  la ligne suivante :

export HISTTIMEFORMAT= »%F %T « 

puis

source .bashrc

pour recharger les réglages

vous aurez  alors un historique daté, ce qui est bien utile pour retrouver à quel moment on a fait une manipulation

867  2023-01-16 16:10:21 git status
868  2023-01-16 16:10:28 git add css/css.css
869  2023-01-16 16:10:34 git add inc/application.class.php
870  2023-01-16 16:10:38 git add pack/pack.css
871  2023-01-16 16:10:41 git commit -m « css »
872  2023-01-16 16:10:43 git push

 

Publié dans Gnu / Linux

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

*

Changer d’hébergeur

Service de migration de serveurs, sites web, domaines et emails

Tél. +33.3.81.47.93.85
Email : info@demenageur-site.com
Web : www.demenageur-site.com