I. Présentation

Dans ce petit article, nous allons voir comment ajouter un horodatage à la fameuse commande « history » sous Linux.

La commande « history » permet de retrouver un historique des commandes saisies par l’utilisateur courant. Elle est en général très pratique dans bien des cas.

Voici un exemple de sortie de la commande « history » :

Nous pouvons ici observer un point qui fait souvent défaut : le manque d’horodatage. On ne sait pas quand une commande a été saisie, ni le jour, ni l’heure. C’est pourtant une information qui pourrait nous être bien utile

II. Ajouter l’heure et la date à l’historique des commandes

La manipulation à effectuer pour cet ajout est relativement simple. Il suffit de modifier la manière dont les commandes sont envoyées à l’historique. Pour cela, nous allons modifier le fichier d’initialisation du shell utilisateur avec l’export de la variable d’environnement suivante :

export HISTTIMEFORMAT="%F %T : "

Il faut donc ajouter cette entrée dans le fichier « .bashrc » du home de votre utilisateur. « /root/.bashrc » pour l’utilisateur root et « /home/<user>/.bashrc » pour l’utilisateur « <users>« .

Suite à cet ajout, pensez à relancer une nouvelle session pour que la variable d’environnement soit prise en compte. Vous pourrez ensuite constater l’horodatage de vos commandes en exécutant à nouveau la commande « history » :

Noter qu’exécuter la commande « export… » dans le shell courant fonctionnera aussi mais la modification ne sera pas gardée après une extinction de votre session