La même commande apparaît sans cesse dans mon historique. Comment puis-je éviter cela ? Je sais que c'est possible via HISTCONTROL mais je n'ai pas trouvé le bon moyen.
Réponses
Trop de publicités?
De la bash page de manuel :
HISTCONTROL
Une liste de valeurs, séparées par deux points, contrôlant la manière dont les commandes sont sauvegardées sur la liste d'historique. Si la liste de valeurs comprend
ignorespaceles lignes qui commencent par un caractère d'espacement ne sont pas enregistrées dans la liste de l'historique. A valeur deignoredupsfait en sorte que les lignes correspondant à l'entrée précédente de l'historique ne sont pas sauvegardées. Une valeur deignorebothest un raccourci pourignorespaceyignoredups. Une valeur deerasedupsfait en sorte que toutes les lignes précédentes correspondant à l'élément la ligne courante est supprimée de la liste de l'historique avant que cette ligne ne soit sauvegardée. Toute valeur ne figurant pas dans la liste ci-dessus est ignorée. Si HISTCONTROL est non défini, ou ne comprend pas une valeur valide, toutes les lignes lues par le Shell sont enregistrées dans la liste d'historique, sous réserve de la valeur de HISTIGNORE. La deuxième ligne et les lignes suivantes d'une commande composée de plusieurs lignes ne sont pas testées, et sont ajoutées à l'historique quelle que soit la valeur de HISTCONTROL.
Mettez donc la ligne suivante dans votre ~/.bashrc :
export HISTCONTROL=ignoreboth:erasedups
Mufaka
Points
54
Mettez ça dans votre ~/.bashrc :
export HISTCONTROL=ignoredupsVous pourriez plutôt utiliser ignoreboth . C'est un raccourci pour les deux ignorespaces (commandes commençant par des espaces) et ignoredups (duplicata).
Je préfère ignoredups car je trouve le comportement par défaut qui consiste à ignorer les commandes avec des espaces au début assez ennuyeux lorsque je copie une commande depuis un site web et qu'elle n'est pas sauvegardée parce que j'ai accidentellement copié un espace aussi..... Mais chacun son truc.
Justin Vincent
Points
554
jrg
Points
58143
withoutasound
Points
149
- Réponses précédentes
- Plus de réponses
