Projet

Général

Profil

Demande #4606

Mis à jour par pitchum . il y a plus de 4 ans

Je propose de faire en sorte que les historiques Bash de nos machines soient datés. 
 De sorte qu'en tapant la commande @history@ on obtienne quelque chose comme ça : 

 <pre>    522    [2020-07-25 20:09] systemctl status drbd 
   523    [2020-07-25 20:13] drbd-overview  
   524    [2020-07-25 20:28] history | grep drbdadm 
 </pre> 

 Pour ce faire, il suffit d'ajouter cette ligne quelque part dans un fichier de config de bash, par exemple dans un fichier _/etc/profile.d/bash_timestamps_ : 

 <code> 
 export HISTTIMEFORMAT="[%F %H:%M] " 
 </code> 

 Le plus propre serait que ce fichier soit présent dans le paquet Debian "_sexy-chapril_":https://admin.chapril.org/doku.php?id=admin:infrastructure:apt&s[]=reprepro#sexy-chapril _sexy-chapril_ pour que ce comportement soit le même sur toutes les machines de l'infra.

Retour