Un history utile

Certain utilise souvent la commande history, que ce soit sur UNIX ou Linux, pour se souvenir de ce qu’on a fait, ou pour savoir ce que les autres ont fait, surtout quand on partage un compte applicatif. Le problème est qu’on retrouve bien la commande, mais jamais la date et l’heure à laquelle celle-ci a été exécutée.
Je vous propose une petite astuce bien pratique pour répondre à ce besoin, un history utile.

Il faut tout d’abord définir une variable HISTTIMEFORMAT, et la positionner dans votre fichier .profile afin qu’elle soit chargée systématiquement.

$ echo 'export HISTTIMEFORMAT="%d/%m/%y %T "' >> ~/.bash_profile

Pour bien comprendre ce qu’on demande :

%d – signifie le jour
%m – signifie le mois
%y – signifie l'année
%T – signifie l'heure

Vous pouvez vous amuser comme vous voulez maintenant que vous avez tout compris.

Pour vérifier que cela fonctionne bien, déconnectez / reconnectez vous, puis tapez la commande history. Vous obtiendrez ceci :

  1  03/11/16 12:18:37 wget -qO- https://raw.githubusercontent.com/DFabric/DPlatform-ShellCore/master/init.sh | sudo sh
    2  03/11/16 12:18:37 sudo apt-get install git curl
    3  03/11/16 12:18:37 wget -qO- https://raw.githubusercontent.com/DFabric/DPlatform-ShellCore/master/init.sh | sudo sh
    4  03/11/16 12:18:37 uptime
    5  03/11/16 12:18:37 wget http://www.htpcbeginner.com/resources/codes/sb-installer.sh | sudo sh
    6  03/11/16 12:18:37 head sb-installer.sh
    7  03/11/16 12:18:37 sudo service sickbeard status
    8  03/11/16 12:18:37 sudo service sickbeard start

Plus pratique, n’est-ce-pas ?