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?
command-line
Mitoxys
la source
la source
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
Réponses:
J'ai essayé la même chose, seulement pour découvrir que sournois Ubuntu définit ces variables
~/.bashrc
par défaut, ce qui est exécuté au lieu de~/.profile
pour les shells non-login tels que simplement ouvrir une fenêtre de terminal. Changer ces lignes en~/.bashrc
corrige ça pour moi:la source
/etc/bash.bashrc
si cela vous convient. Voir ci-dessous. (peut-être était-ce aussi la disparueexport
)Du manuel de référence Bash :
Donc pour une liste d’historique infinie , make:
HISTSIZE = (un nombre inférieur à 0 )
Donc, pour un
.bash_history
fichier historique infini , make:HISTFILESIZE = (un nombre inférieur à 0 )
la source
Comme mentionné par @Michal Przybylowicz , ces fichiers semblent parfois être ignorés dans Xubuntu (et Lubuntu). Si oui, vous pouvez plutôt écrire les lignes
à
/etc/bash.bashrc
. Cela modifiera globalement les valeurs de ces variables d'environnement.la source