> Enfin, en tappant Echap, puis un nombre (appelons le n, au hasard), puis un caractère, cela permet de répéter n fois ledit caractère (je ne sais pas faire avec les chiffres :-| )
RTFM : man bash -> section « BIBLIOTHÈQUE READLINE » -> paragraphe « Commande d'édition de texte »
On y trouve : quoted-insert (C-q, C-v)
Ajouter littéralement sur la ligne le caractère frappé suivant. Ceci permet d'insérer des caractères comme C-q, par exemple.
Du coup cela donne : Esc 5 C-q C-v 9 et tu as des cinq 9
Ps : Merci pour l'info, je n'avais jamais vu ces racourcis dans le man bash avant ;-)
[^] # Re: Raccourcis clavier bash
Posté par Johann Heymes . En réponse au message [Terminal] Raccourcis clavier bash. Évalué à 1.
RTFM : man bash -> section « BIBLIOTHÈQUE READLINE » -> paragraphe « Commande d'édition de texte »
On y trouve :
quoted-insert (C-q, C-v)
Ajouter littéralement sur la ligne le caractère frappé suivant. Ceci permet d'insérer des caractères comme C-q, par exemple.
Du coup cela donne : Esc 5 C-q C-v 9 et tu as des cinq 9
Ps : Merci pour l'info, je n'avais jamais vu ces racourcis dans le man bash avant ;-)