PROJET AUTOBLOG


Planet-Libre

source: Planet-Libre

⇐ retour index

crowd42 : Une astuce pour retrouver facilement une ligne de commande déjà exécutée

mercredi 24 avril 2013 à 16:19

DSCF0790a-1024x749

Je me sers du Terminal énormément, pour des raisons que j’ai déjà évoqué sur ce blog. Pour vous donnez une petite, je pense exécuter pas moins d’une centaine de lignes de commande par jour. Et pour gagner du temps, au lieu de re-taper une commande, je remonte l’historique avec les touches de défilement. Parfois ça marche, mais souvent je passe plus de temps à la chercher que si je l’avais ressaisi.

Mais depuis cinq minutes, c’est devenu de l’histoire ancienne, car je viens de trouver une astuce qui résolu ce souci. C’est simple, vous fournissez les deux premièrs caractères (ou plus) de la ligne de commande que vous souhaitez retrouver et vous appuyez sur la touche Up (page précédente).

Tout ce que vous à faire c’est de créer un nouveau fichier .inputrc, que vous allez sauvegarder dans votre répertoire personnel, et de copier/coller ces lignes dedans :

"\\e[A": history-search-backward
"\\e[B": history-search-forward
set show-all-if-ambiguous on
set completion-ignore-case on

Sympa non ? :)

source

Cet article Une astuce pour retrouver facilement une ligne de commande déjà exécutée est apparu en premier sur crowd42.

Gravatar de crowd42
Original post of crowd42.Votez pour ce billet sur Planet Libre.