Differences

This shows you the differences between two versions of the page.

--- informatique:linux:commandes_linux [2020/02/04 07:11] – [stat] pteu
+++ informatique:linux:commandes_linux [2020/02/04 13:32] – [history] HISTSIZE et cie pteu
@@ Line 986: / Line 986: @@
 =====history=====
-Permet d'afficher l'historique des commandes saisies dans un terminal :
+Permet d'afficher l'historique des commandes saisies lors de la session dans un terminal :
 <code bash>
 history
@@ Line 995: / Line 995: @@
   echo 'toto'
   history
+</code>
+Lors de la fermeture de session, cette liste est ajoutée au fichier indiqué dans la variable ''$HISTFILE''. On peut contrôler :
+  * le format de timestamp de chaque commande avec la variable ''HISTTIMEFORMAT'' (même format que la commande date)
+  * la taille de l'historique, en nombre de ligne
+    * ''HISTSIZE'' défini la taille de l'historique de la session courante (en mémoire)
+    * ''HISTFILESIZE'' défini la taille du fichier d'historique (celui défini dans ''$HISTFILE'')
+  * ''HISTCONTROL'' permet d'ignorer les doublons (ignoredups), les commandes précédées par un espace (ignorespace) ou les deux (ignoreboth)
+Exemple :
+<code bash>
+HISTCONTROL=ignoredups:ignorespace
+HISTTIMEFORMAT="%Y%m%d_%H%M%S "
+HISTSIZE=10000
+HISTFILESIZE=20000
 </code>
@@ Line 1018: / Line 1032: @@
 </code>
-On efface l'historique avec ''history -c''.
+On efface l'historique de session : ''history -c'' ; forcer l'écriture du buffer dans le fichier ''history -a''.
 On peut loguer (dans ''/var/log/messages'') l'historique des commandes saisies par un utilisateur en ajoutant dans son .bashrc cette ligne :