#1 Le 13/06/2009, à 19:48
- Compte anonymisé
[ASTUCE] Purger l'historique du terminal
Cet astuce va permettre d'acceder au fichier ~/.bash_history qui a tendance a se remplir pour memoriser les commandes executées
- Entrer la commande suivante
gksudo gedit ~/.bash_history
- Selectionner le contenu du fichier et supprimer tout
- Enregistrer et le tour est joué
edit modo : utiliser gksudo pour les applications graphiques
Dernière modification par nesthib (Le 18/11/2010, à 00:58)
#2 Le 13/06/2009, à 19:52
- toitoinebzh
Re : [ASTUCE] Purger l'historique du terminal
salut
en plus simple
history -c
Hors ligne
#3 Le 13/06/2009, à 20:03
- nesthib
Re : [ASTUCE] Purger l'historique du terminal
ou encore, en plus geek
>.bash_history
> permet d'écrire (ici rien) dans le fichier
l'espace devant la commande permet de ne pas l'enregistrer dans l'historique
bon après contrairement à history -c l'effet n'est pas immédiat
voilà pour le chipotage du WE
Linux ou comment pouvoir faire ce que l'on veut de la façon que l'on veut
GUL Bordeaux : Giroll – Services libres : TdCT.org
Hide in your shell, scripts & astuces : applications dans un tunnel – smart wget – trouver des pdf – install. auto de paquets – sauvegarde auto – ♥ awk
⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdn
Hors ligne
#4 Le 13/06/2009, à 22:35
- Compte anonymisé
Re : [ASTUCE] Purger l'historique du terminal
salut
en plus simplehistory -c
J'ai essayé mais rien a été effacé
#5 Le 13/06/2009, à 22:56
- mercury
Re : [ASTUCE] Purger l'historique du terminal
Pas besoin d'être en sudo pour modifier un fichier sous ta session...
Le plus simple reste encore de supprimer le fichier .bash_history :
rm ~/.bash_history
CrunchBang | Voyager
==================
Twitter: chris_tofe
Hors ligne
#6 Le 14/06/2009, à 02:50
- zapple
Re : [ASTUCE] Purger l'historique du terminal
Supprimer ce fichier n'est pas le meilleur choix. Il est toujours utile de garder une trace durant un certain temps de ce que l'on a tapé comme commandes.
Après, ce que l'on peut faire, c'est baisser la valeur par défaut du nombre des commandes qui sont stockées dans .bash_history. Il suffit de fixer la variable HISTSIZE à la valeur que vous voulez dans le fichier .bash_profile. Par défaut, elle est de 500 (echo $HISTSIZE vous donnera la valeur).
Hors ligne
#7 Le 17/11/2010, à 21:15
- yrieix
Re : [ASTUCE] Purger l'historique du terminal
Salut,
J'ai ouvert l'historique bash comme indiqué par H_spirit, et j'ai gardé une vingtaine de commandes dans l'historique, afin qu'elles s'affichent quand j'appuie sur la touche [ ↑ ].
Quelqu'un saurait comment on peut bloquer l'écriture de l'historique à venir dans ce fichier, afin que je ne garde que les commandes qui m'intéressent (et que je puisse les éditer comme je veux sans avoir 150 lignes d'historique à supprimer à chaque fois...)
Voilà si c'est pas très clair n'hésitez pas. Merci de votre aide.
Emancipate yourselves from mental slavery
Hors ligne
#8 Le 18/11/2010, à 00:56
- nesthib
Re : [ASTUCE] Purger l'historique du terminal
il te suffit d'ajouter cette ligne dans ton ~/.bashrc
export HISTIGNORE='*'
GUL Bordeaux : Giroll – Services libres : TdCT.org
Hide in your shell, scripts & astuces : applications dans un tunnel – smart wget – trouver des pdf – install. auto de paquets – sauvegarde auto – ♥ awk
⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdn
Hors ligne
#9 Le 18/11/2010, à 01:30
- yrieix
Re : [ASTUCE] Purger l'historique du terminal
Salut,
J'ai ajouté cette ligne au début et à la fin avec les valeurs '*' ; '0' ; et '20' mais ça enregistre l'historique quoi qu'il arrive
Emancipate yourselves from mental slavery
Hors ligne
#10 Le 19/11/2010, à 13:02
- nesthib
Re : [ASTUCE] Purger l'historique du terminal
je ne sais pas pourquoi tu as testé 0 et 20 mais cela ne risque sûrement pas de fonctionner (là tu demandes de ne pas enregistrer les lignes qui correspondent à la commande « 0 » ou « 20 » ce qui n'est, je pense, pas ce que tu cherches à faire)
j'ai (re)testé chez moi et ça fonctionne parfaitement. Pourrais-tu poster le contenu du fichier ~/.bashrc ainsi que le retour de la commande :
echo $0
GUL Bordeaux : Giroll – Services libres : TdCT.org
Hide in your shell, scripts & astuces : applications dans un tunnel – smart wget – trouver des pdf – install. auto de paquets – sauvegarde auto – ♥ awk
⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdn
Hors ligne
#11 Le 19/11/2010, à 13:18
- yrieix
Re : [ASTUCE] Purger l'historique du terminal
Salut nesthib,
Bah en fait je viens de tester de nouveau mais en fermant le terminal et le rouvrant. Ca marche super !!
Merci pour cette astuce, c'est vraiment pratique.
Emancipate yourselves from mental slavery
Hors ligne
#12 Le 19/11/2010, à 14:18
- yrieix
Re : [ASTUCE] Purger l'historique du terminal
Bon ça à rien à voir mais si ça intéresse quelqu'un au passage : on peut créer des alias pour ne pas avoir des lignes de commandes trop grandes.
Par ex : la commande
install
(ou le nom qu'on veut lui donner) remplace la commande
sudo apt-get install
Pour ça c'est tout con :
Ouvrir
less ~/.bashrc
et vérifier que les lignes qui suivent ne sont pas commentées (pas de # devant les lignes)
if [ -f ~/.bash_aliases ]; then
. ~/.bash_aliases
fi
Ensuite créer un fichier .bash_aliases (je l'ouvre directement avec nano [editeur de texte comme vi, gedit etc...] (si le fichier n'existe pas ça le crée tout seul))
nano .bash_aliases
(ou mettre le nom de son éditeur de texte à la place de nano)
J'ajoute les lignes que je veux : par ex:
alias install='sudo apt-get install'
alias "MaCommande"='SudoMaCommandeQuiEstLongue'
On peut rajouter les lignes qu'on veut pour d'autres alias.
Vu qu'on est sous nano on quitte avec Ctrl+x on confirme qu'on veut enregistrer les modifications.
Pour que ça prenne en compte les changements on tape :
source ~/.bash_aliases
Et on peut utiliser ses alias.
(désolé si je fais un doublon je supprimerai ce msg)
Dernière modification par ŦaήťφღŭЬưʼnţυ (Le 23/11/2010, à 10:43)
Emancipate yourselves from mental slavery
Hors ligne
#13 Le 19/11/2010, à 14:35
- Henry de Monfreid
Re : [ASTUCE] Purger l'historique du terminal
Quelqu'un saurait comment on peut bloquer l'écriture de l'historique à venir dans ce fichier, afin que je ne garde que les commandes qui m'intéressent (et que je puisse les éditer comme je veux sans avoir 150 lignes d'historique à supprimer à chaque fois...)
Il suffit de d'interdire de modifier le fichier.
chmod 555 ~/.bashrc
Il existe certainement un méthode plus "propre" mais je ne la connais pas.
« Je te hais plus qu'aucun des dieux qui vivent sur l'Olympe
Car tu ne rêves que discordes, guerres et combats. »
Trouble obsessionnelcompulsif
Le TdCT est revenu (ils reviennent tous), pour y accéder, demandez à nany ou moi.
Hors ligne
#14 Le 20/11/2010, à 05:26
- yrieix
Re : [ASTUCE] Purger l'historique du terminal
@pinballyoda ㋛ : Mercià toi pour l'astuce, mais j'ai suivi celle de nesthib
export HISTIGNORE='*'
ça marche super.
Emancipate yourselves from mental slavery
Hors ligne
#15 Le 23/11/2010, à 09:42
- nesthib
Re : [ASTUCE] Purger l'historique du terminal
@ŦaήťφღŭЬưʼnţυ : oui il faut nécessairement relancer ton terminal (ou recharger le fichier ~/.bashrc) lorsque tu fais des modifications de ~/.bashrc.
Pour les alias c'est un peu le B.A.BA du terminal mais tu peux laisser ton astuce si tu veux, c'est toujours bon à lire. En revanche évite l'utilisation de cat pour visualiser un fichier de config. less sera bien plus adapté puisqu'il est interactif. Enfin il est parfaitement inutile d'utiliser sudo pour modifier le fichier ~/.bash_aliases puisqu'il appartient à l'utilisateur courant. Tu risques au contraire d'affecter de mauvais droits à ton fichier. Si tu veux corriger ton message
GUL Bordeaux : Giroll – Services libres : TdCT.org
Hide in your shell, scripts & astuces : applications dans un tunnel – smart wget – trouver des pdf – install. auto de paquets – sauvegarde auto – ♥ awk
⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdn
Hors ligne
#16 Le 23/11/2010, à 10:45
- yrieix
Re : [ASTUCE] Purger l'historique du terminal
Salut nesthib,
Voilà c'est modifié, merci : )
Emancipate yourselves from mental slavery
Hors ligne
#17 Le 23/11/2010, à 17:04
- FRUiT
Re : [ASTUCE] Purger l'historique du terminal
Sinon, on peut éviter ponctuellement l'ajout d'une commande dans l'historique, en précédant celle-ci d'un espace :
$ echo "foo"
^ espace ici
Et aussi, l'update du fichier se fait en fermant le terminal. On peut néanmoins forcer l'update à chaque nouvelle commande, en ajoutant dans ~/.bashrc (ou en modifiant la variable si elle est déjà présente dans le fichier) :
PROMPT_COMMAND='history -a ; history -r'
Dernière modification par FRUiT (Le 23/11/2010, à 18:52)
Neon Suite by FRUiT (kde4.6) [url]http://[Merci de relire les règles]/yzm7cee[/url]
"Pour la carotte, le lapin est la plus parfaite incarnation du mal" (R. Sheckley)
clean
Hors ligne
#18 Le 23/11/2010, à 17:22
- FRUiT
Re : [ASTUCE] Purger l'historique du terminal
Bon ça à rien à voir mais si ça intéresse quelqu'un au passage : on peut créer des alias pour ne pas avoir des lignes de commandes trop grandes.
Et, pour complément, on peut aussi dynamiquement simuler l'assignation d' étiquettes à des commandes, exemple :
$ /chemin/vers/commande --ultra=longue --dure --ataper # grossecommande
Pour retrouver cette fameuse commande, il suffit de taper ctrl-R puis grossecommande.
Il faut bien sur que l'historique soit activé.
Dernière modification par FRUiT (Le 23/11/2010, à 17:24)
Neon Suite by FRUiT (kde4.6) [url]http://[Merci de relire les règles]/yzm7cee[/url]
"Pour la carotte, le lapin est la plus parfaite incarnation du mal" (R. Sheckley)
clean
Hors ligne