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