Retouver une ligne de commande dans l’historique, c’est bien pratique.<\/p>\n
Sur des serveurs o\u00f9 vous n’intervenez pas tr\u00e8s fr\u00e9quemment, ou sur des comptes que vous partagez avec diff\u00e9rents coll\u00e8gues, il est parfois extr\u00eamement pratique de pouvoir identifier \u00e0 quel moment l’utilisateur a lanc\u00e9 une commande particuli\u00e8re.<\/p>\n
Ajoutez simplement dans .bashrc\u00a0 la ligne suivante :<\/p>\n
export HISTTIMEFORMAT=\u00a0\u00bb%F %T \u00ab\u00a0<\/p><\/blockquote>\n
puis<\/p>\n
source .bashrc<\/p><\/blockquote>\n
pour recharger les r\u00e9glages<\/p>\n
vous aurez\u00a0 alors un historique dat\u00e9, ce qui est bien utile pour retrouver \u00e0 quel moment on a fait une manipulation<\/p>\n
867 \u00a02023-01-16 16:10:21 git status
\n868 \u00a02023-01-16 16:10:28 git add css\/css.css
\n869 \u00a02023-01-16 16:10:34 git add inc\/application.class.php
\n870 \u00a02023-01-16 16:10:38 git add pack\/pack.css
\n871 \u00a02023-01-16 16:10:41 git commit -m \u00ab\u00a0css\u00a0\u00bb
\n872 \u00a02023-01-16 16:10:43 git push<\/p><\/blockquote>\n<\/p>\n","protected":false},"excerpt":{"rendered":"
Retouver une ligne de commande dans l’historique, c’est bien pratique. Sur des serveurs o\u00f9 vous n’intervenez pas tr\u00e8s fr\u00e9quemment, ou sur des comptes que vous partagez avec diff\u00e9rents coll\u00e8gues, il est parfois extr\u00eamement pratique de pouvoir identifier \u00e0 quel moment…<\/span><\/p>\n