La taille par défaut de l'historique dans Ubuntu est 1000 mais elle est trop petite. Je veux le changer à 10000, donc j'ajoute
export HISTSIZE=10000
export HISEFILESIZE=10000
à .profile
et 'source' il
source .profile
alors je cours
echo $HISTSIZE
echo $HISTFILESIZE
1000 était affiché pour les deux mais je redémarre mon ordinateur, il est passé par défaut. Pourquoi ça ne marche pas?
export HISEFILESIZE=10000
(même s'il semble que vous ne l'ayez pas fait.profile
si les échos ont fonctionné). Juste au cas où quelqu'un le regarderait ici, ça devrait êtreHISTFILESIZE