Taille de l'historique explicite, puisque "" a pas l'air de marcher

diff --git a/.bashrc b/.bashrc
index a5398597a697d5b59ffadcddf061fe05b0eead50..f1ab2922eb3b57b2b10dee97ef8354ece0080b00 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -640,10 +640,10 @@ function welcome_message ()
 export HISTCONTROL=ignoreboth
 
 # Nombre de lignes d'historique à garder
-export HISTSIZE=""
+export HISTSIZE="10000"
 
 # la même chose dans le fichier d'historique
-export HISTFILESIZE=""
+export HISTFILESIZE="100000"
 
 # Mémoriser le timestamp d'exécution de la commande
 export HISTTIMEFORMAT='%F %T - '