Raccourci clavier pour coller dans le terminal GNOME

Vous devez utiliser Ctrl + Shift + V pour coller dans un terminal. Le copier est similaire ; utilisez Ctrl + Shift + C pour copier à partir d'un terminal.

Le commentaire d'Arild explique (un peu modifié) :

Suivant la tradition, certains Ctrl + (letter) sont associés à l'entrée de caractères de contrôle dans le terminal (cf. Comment les caractères de contrôle correspondent aux claviers sur Wikipedia). C'est pourquoi on ne peut pas les utiliser pour le copier-coller. Les raccourcis peuvent être remplacés dans Edition > Raccourcis clavier, mais surtout Ctrl+C est utile pour garder assigné le caractère de contrôle ETX, qui est utilisé pour interrompre la commande en cours.

Ctrl + Insert pour "copie", Shift + Delete pour "couper" et Shift + Insert pour "coller" fonctionne également dans la plupart des environnements, y compris dans le terminal GNOME.

Comme d'autres l'ont dit, la copie est CTRL + <strong>SHIFT</strong> + C et le collage est CTRL + <strong>SHIFT</strong> + V par opposition à un champ de texte normal.

En résumé, il suffit d'ajouter shift à tout autre raccourci d'édition de texte pour l'utiliser dans le terminal.

Voici quelques exemples :

Copie : CTRL + SHIFT + C

Pâte : CTRL + SHIFT + V

Trouvez : CTRL + SHIFT + F

Fermez la fenêtre du terminal : CTRL + SHIFT + W

Fermez toutes les fenêtres du terminal : CTRL + SHIFT + Q

etc.