Une meilleure gestion de l'historique Bash

Krevan · Le 11/04/2009, à 21:51

Bonjour — ou bien Bonsoir c'est selon.

J'ai trouvé cette astuce dans un vieux magasine ; le Linux Magasine Hors-série n°34 — janvier / février 2008, et j'ai eu soudain l'idée de vous la faire partager, car elle a changé radicalement ma vie, ou presque.
J'ignore si j'ai vraiment le droit de vous donner ceci sans vous n'achetiez le magasine, mais dans la mesure où je ne fais pas un simple copier / coller et que je cite mes sources, je vais dire que oui. Si ce n'est pas le cas, vous pouvez toujours supprimer ce sujet.

Vous le savez certainement, toutes les commandes que vous utilisez dans un terminal sont archivées et vous pouvez y accéder par ordre chronologique en appuyant sur les touches fléchées Haut ou Bas.
La fonctionnalité de base se limite à cela. Mais on peut faire beaucoup mieux et beaucoup plus pratique. Si vous voulez retrouver une commande particulière tapée il y a un moment. Prenons pour exemple... hm... « rm /home/user/fichier.ext » !
Vous êtes obligés de taper Haut jusqu'à ce que vous tombiez dessus, et cela peut parfois être assez long — suffisamment long pour qu'il soit plus rapide de taper la commande intégralement.

Grâce à la manipulation ci-dessous, vous n'aurez qu'à taper le début de la commande, par exemple « rm » et à presser la touche Haut. Une recherche sera faite dans l'historique et on vous affichera directement la bonne réponse !
Alors voici comment procéder :

Dans votre fichier ~/.inputrc, ajoutez à la fin :

"\e[A": history-search-backward
"\e[B": history-search-forward

Dans votre fichier ~/.bashrc, ajoutez à la fin :

shopt -s histappend
PROMPT_COMMAND='history -a'

Relancez votre terminal. Et essayez !
Pratique, non ?

PH · Le 11/04/2009, à 22:09

bjr,
j'adhère
merci
@+

#hehedotcom\'isback · Le 11/04/2009, à 22:13

+1
Pratique, merci.

Sciensous · Le 11/04/2009, à 22:34

par défaut, avec un CTRL+'r' puis en tapant les premieres lettres de la commandes, c'est pareil non ?

Hizoka · Le 11/04/2009, à 22:54

en effet ctrl + r permet la recherche mais je n'ai pas trouvé comment faire quand il ne me propose pas la commande voulu

genre je fais rm prout.txt
puis rm test.txt

avec une recherche a rm, jene trouve que rm test.txt...

ta methode permet-elle de trouver les differentes commandes proches ?

Krevan · Le 12/04/2009, à 00:19

Normalement, oui.
En tous cas chez moi ça fonctionne comme ça., il me suffit d'appuyer le nombre de fois nécessaire sur la touche Haut.

Je viens même de faire un test pour être sûr...

Et... Oui, c'est le même principe que CTRL+R, mais en moins douloureux pour les doigts — c'est que ça fait un écart quand même !

Dernière modification par Krevan (Le 12/04/2009, à 00:31)

Hizoka · Le 12/04/2009, à 08:39

en fait avec ctrl + r, il est possible de choisir entre les differentes commandes,

c'est pas pratique du tout mais bon :
soit les commande suivantes :
caca v1
caca v2
caca v3

si je veux retrouver "caca v1",
je dois faire :
ctrl + r, taper caca => affiche caca v3
double espace puis retour en arriere => affiche caca v2
espace puis retour en arriere => affiche caca v1

j'admets que c'est pas pratique.

Je vais donc tester l'astuce voir si c'est mieux

POUR INFO : sous kubuntu
pas de ~/.inputrc juste un /etc/inputrc
mais ~/.bashrc existe.

Verdict, c'est beaucoup plus pratique ton astuce
merci

Dernière modification par Hizoka (Le 12/04/2009, à 08:45)

serged · Le 12/04/2009, à 10:34

Super ! Je retrouve le comportement de 4DOS...

Pour Hizoka : Pas de différence [k|x|]ubuntu : Si tu n'a pas de ~/.inputrc, il faut le créer. Par contre le /etc/inputrc, c'est pour tous les utilisateurs (il faut alors mettre ce qu'on met dans ~/.bashrc dans /etc/bash.bashrc ).

Hizoka · Le 12/04/2009, à 10:44

ouais je sais que le etc c'est pour tout le monde.

Apres tout le monde n'est pas obligé d'utiliser cette option
enfin bon, ca marche aussi dans ~/.bashrc

Balkoth · Le 12/04/2009, à 10:59

Hizoka a écrit :

en fait avec ctrl + r, il est possible de choisir entre les differentes commandes,
c'est pas pratique du tout mais bon :
soit les commande suivantes :
caca v1
caca v2
caca v3
si je veux retrouver "caca v1",
je dois faire :
ctrl + r, taper caca => affiche caca v3
double espace puis retour en arriere => affiche caca v2
espace puis retour en arriere => affiche caca v1

Ben après ctrl + r, taper caca => affiche caca v3, tu refais ctrl + r => affiche caca v2; ctrl + r => affiche caca v1.

Cette astuce sert juste à pouvoir utiliser les flèches à la place de ctrl+r

Hizoka · Le 12/04/2009, à 11:08

cool merci pour l'info, je trouvais ca vraiment galere de faire espace et retour en arriere... :d

Compte supprimé · Le 13/07/2011, à 08:46

Bonjour,
j'ai complété la documentation de terminal.
Pour compléter les commandes à partir de l'historique

CasseTaTélé_isback · Le 03/09/2016, à 09:17

arg, je voulais ré-implémenter cette fonction bien pratique mais il n'y a plus de fichier .inputrc ...
Je l'ai créé pour rajouter les commandes indiquées mais ça marche pas ...

Edit: une fois le .inputrc créé, il faut redémarrer le terminal et ça marche.

Dernière modification par CasseTaTélé_isback (Le 03/09/2016, à 11:15)

Compte supprimé · Le 04/09/2016, à 16:18

CasseTaTélé_isback a écrit :

arg, je voulais ré-implémenter cette fonction bien pratique mais il n'y a plus de fichier .inputrc ...
Je l'ai créé pour rajouter les commandes indiquées mais ça marche pas ...
Edit: une fois le .inputrc créé, il faut redémarrer le terminal et ça marche.

Ok. Est-ce toi qui a modifié la documentation du terminal ou était-ce écrit ?

https://doc.ubuntu-fr.org/terminal?&#pour_completer_les_commandes_a_partir_de_l_historique a écrit :

…
Relancez votre terminal. Et essayez ! Pratique, non ?
…

CasseTaTélé_isback · Le 04/09/2016, à 18:44

C'était écrit , c'est pas moi qui ai modifié ! désolé j'avais pas vu !

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 11/04/2009, à 21:51

Une meilleure gestion de l'historique Bash

#2 Le 11/04/2009, à 22:09

Re : Une meilleure gestion de l'historique Bash

#3 Le 11/04/2009, à 22:13

Re : Une meilleure gestion de l'historique Bash

#4 Le 11/04/2009, à 22:34

Re : Une meilleure gestion de l'historique Bash

#5 Le 11/04/2009, à 22:54

Re : Une meilleure gestion de l'historique Bash

#6 Le 12/04/2009, à 00:19

Re : Une meilleure gestion de l'historique Bash

#7 Le 12/04/2009, à 08:39

Re : Une meilleure gestion de l'historique Bash

#8 Le 12/04/2009, à 10:34

Re : Une meilleure gestion de l'historique Bash

#9 Le 12/04/2009, à 10:44

Re : Une meilleure gestion de l'historique Bash

#10 Le 12/04/2009, à 10:59

Re : Une meilleure gestion de l'historique Bash

#11 Le 12/04/2009, à 11:08

Re : Une meilleure gestion de l'historique Bash

#12 Le 13/07/2011, à 08:46

Re : Une meilleure gestion de l'historique Bash

#13 Le 03/09/2016, à 09:17

Re : Une meilleure gestion de l'historique Bash

#14 Le 04/09/2016, à 16:18

Re : Une meilleure gestion de l'historique Bash

#15 Le 04/09/2016, à 18:44

Re : Une meilleure gestion de l'historique Bash

Pied de page des forums