Projet

Général

Profil

Actions

Demande #4606

fermé

Ajouter un horodatage dans l'historique bash

Ajouté par pitchum . il y a presque 4 ans. Mis à jour il y a plus de 3 ans.

Statut:
Fermé
Priorité:
Normale
Assigné à:
Catégorie:
-
Début:
25/07/2020
Echéance:
% réalisé:

0%

Temps estimé:

Description

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 :

  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

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 :

export HISTTIMEFORMAT="[%F %H:%M] "

Le plus propre serait que ce fichier soit présent dans le paquet Debian _sexy-chapril_ pour que ce comportement soit le même sur toutes les machines de l'infra.

Actions

Formats disponibles : Atom PDF