Je voudrais vérifier à quelle heure / date une commande dans l'historique bash a été exécutée. Est-ce possible?
11
C'est possible. La help history
commande dit:
Si la variable $ HISTTIMEFORMAT est définie et non nulle, sa valeur est utilisée comme chaîne de format pour strftime (3) pour imprimer l'horodatage associé à chaque entrée d'historique affichée. Aucun horodatage n'est imprimé autrement
J'ai défini la variable pour mon utilisateur comme ceci (sur Ubuntu):
echo 'export HISTTIMEFORMAT="%d.%m.%y %T "' >> ~/.bashrc
Si vous le souhaitez globalement, ajoutez la ligne à /etc/bash.bashrc
:
echo 'export HISTTIMEFORMAT="%d.%m.%y %T "' >> /etc/bash.bashrc
Voir man strftime
pour toutes les options de formatage possibles
La sortie de history
sur ma boîte:
...
132 05.05.11 10:45:11 ls
133 05.05.11 10:45:14 cd ..
134 05.05.11 10:45:17 history
PS Lorsque vous définissez la variable la première fois, tout l'historique obtiendra l'horodatage du moment où la variable a été définie.
history
. (Sur Ubuntu 10.10 pour ce que ça vaut.)T
manquant dans le nom de la variable :( Je blâme mes doigts ... J'ai mis à jour la réponse, veuillez essayer maintenant