J'ai ajouté la date et l'heure à mon historique linux avec cette commande :
export HISTTIMEFORMAT='%F %T '
Lorsque je consulte mon historique, tout ce que je n'ai pas fait aujourd'hui semble correspondre au moment où j'ai interrogé ces commandes pour la dernière fois plutôt qu'au moment où je les ai réellement utilisées.
744 2013-05-22 10:04:20 java -jar ...
745 2013-05-22 10:04:20 java -jar ...
747 2013-05-22 10:04:20 java -jar ...
748 2013-05-22 10:04:20 java -jar ...
749 2013-05-22 10:04:20 java -jar ...
750 2013-05-22 10:04:20 java -jar ...
781 2013-05-22 10:04:20 java -jar ...
996 2013-05-22 09:51:22 history | grep ...
999 2013-05-22 09:58:18 history | grep ...
1001 2013-05-22 10:05:22 history | grep ...
1003 2013-05-22 10:05:39 history | grep ...
Bien que je trouve amusant le fait que j'aie l'impression d'avoir voyagé dans le temps, j'espérais que quelqu'un pourrait donner une raison à ce comportement. Y a-t-il une meilleure commande à utiliser ? Est-ce que mon Bash se comporte bêtement ?
Y a-t-il des informations que j'oublie et qui pourraient être utiles ? Versioning, etc.
Je vois qu'il y a eu un vote pour clore cette question. S'il existe un endroit plus approprié pour cette question, je ne verrai pas d'inconvénient à ce qu'elle soit déplacée.