Mon CV

Gagner du temps dans le Terminal en filtrant l’historique

18 mai 2013

Quand on utilise le Terminal régulièrement il y a quelques petites astuces pour éviter de trop devoir taper.

  • le grand classique : en utilisant la flèche vers le haut de votre pavé numérique, vous avez accès aux dernières commandes entrées
  • une petite astuce qui vous permettra de gagner encore plus de temps. Après avoir effectué les quelques manipulations qui suivent, quand vous commencez à taper une commande dans votre terminal, en utilisant la flèche du haut de votre pavé numérique, vous ferez défilez l’historique des commandes qui correspondent à ce que vous avez commencé à taper.Plus encore, quand vous tapez le chemin d’un dossier ou d’un fichier, utilisez la touche tabulation pour terminer de taper le chemin. Si il n’y a qu’un seul fichier ou dossier qui correspond aux lettres que vous avez commencé à taper, celui-ci sera complété, sinon, votre terminal vous renverra une liste des dossiers ou fichiers possibles.Pour réaliser ce petit tour de magie qui va prendre soin de votre mémoire, commencez par créer un fichier ‘.inputrc’ dans votre répertoire utilisateur. Ici je le fais avec ‘nano’ :
    nano ~/.inputrc

    Entrez les quatre lignes suivantes

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

    Faites un petit CTRL+X, puis validez par Y.

    Relancez votre Terminal … et dites merci !

Posted in Apple et Macintosh, Unix et LinuxTags: