Ajouter la date et l'heure dans l'historique de bash
Publié le 12 mai 2009
L'historique d'un terminal, disponible par la commande history, permet de savoir quelles commandes ont été saisies par un utilisateur. L'inconvénient est que la date et l'heure ne sont jamais renseignées. Voici donc une astuce pour y remédier.
Pour activer cette fonctionnalité, il suffit d'utiliser la variable d'environnement $HISTTIMEFORMAT. Un exemple d'utilisation :
echo 'HISTTIMEFORMAT="%h/%d - %H:%M:%S "' >> ~/.bash_profile
source ~/.bash_profile
L'historique des commandes passera ainsi d'un affichage classique :
232 obconf
233 arch
234 whoami
A un affichage plus complet :
232 May/10 - 16:46:52 obconf
233 May/10 - 16:46:52 arch
234 May/10 - 16:46:52 whoami
Créé en 2005, Tux-planet est un site qui a pour ambition de regrouper des articles sur Linux et le monde des logiciels libres. 
9 Commentaires pour "Ajouter la date et l'heure dans l'historique de bash"
Flux des commentaires de cet article Ajouter un commentairePetite question : a quoi sert la commande source ? Il n'y a pas d'entré dans man ni d'option --help.
@morgenstern : c'est pour recharger la conf (essaye help source
)
Et tu pourrais mettre la source.
Publié sur Planet Ubuntu-fr et Planet-Libre !
@SckyzO : C'est pas la source. Cette astuce n'a rien d'exceptionnelle, je l'ai trouvée sur un site anglais au détour d'un surf sur Internet.
Et bien effectivement, c'est celà même que je cherchais ... et où est ce que je trouve l'astuce ? Chez Tux-Planet biensur
Thanks a lot
Autant pour moi
Merci.
Super pour l'astuce, merci
très utile pour compter le télétravail.