Demande #4606
Mis à jour par pitchum . il y a plus de 3 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.
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.