Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#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 wink

Linux ou comment pouvoir faire ce que l'on veut de la façon que l'on veut


GUL Bordeaux : GirollServices libres : TdCT.org
Hide in your shell, scripts & astuces :  applications dans un tunnelsmart wgettrouver des pdfinstall. auto de paquetssauvegarde 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

toitoinebzh a écrit :

salut
en plus simple

history -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 : GirollServices libres : TdCT.org
Hide in your shell, scripts & astuces :  applications dans un tunnelsmart wgettrouver des pdfinstall. auto de paquetssauvegarde 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 : GirollServices libres : TdCT.org
Hide in your shell, scripts & astuces :  applications dans un tunnelsmart wgettrouver des pdfinstall. auto de paquetssauvegarde 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 !! smile
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

Fantômubuntu a écrit :

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 wink


GUL Bordeaux : GirollServices libres : TdCT.org
Hide in your shell, scripts & astuces :  applications dans un tunnelsmart wgettrouver des pdfinstall. auto de paquetssauvegarde 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

ŦaήťφღŭЬưʼnţυ a écrit :

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