Raccourcis clavier Ctrl + R et Ctrl + Shift pour naviguer dans l'historique des commandes du terminal

Nom de la section

Le raccourci clavier Ctrl + R permet de rechercher dans l'historique des commandes saisies en ordre décroissant dans le temps. L'inverse de ce raccourci est Ctrl + Shift qui permet de rechercher dans l'historique des commandes saisies en ordre croissant dans le temps.

Par défaut, Ctrl + Shift met en pause l’exécution du SHELL. Pour désactiver cette fonctionnalité, il faut écrire cette commande :

[[ $- == *i* ]] && stty -ixon

Cette ligne de commande permet de désactiver le raccourci Ctrl + Shift pour mettre en pause l'écriture dans le terminal. Elle vérifie si l'interactive shell est en cours d'utilisation (i) et désactive alors le raccourci Ctrl + Shift pour mettre en pause l'écriture en utilisant la commande stty -ixon.

Vous pouvez l'ajouter à votre fichier .bashrc .

Cédric ABONNEL (cedricabonnel), CPT, sur une idée de John Guecko - Édition initiale du Mardi 31 Janvier 2023

  • journal_geek/2023/20230131-rechercher-dans-l-historique-des-commandes-saisies.txt
  • Dernière modification : 2023/02/01 11:18
  • de Cédric ABONNEL