Nous utilisons Ctrl+V coller des éléments du presse-papiers, mais cela ne fonctionne pas dans la fenêtre du terminal.
Quel est le raccourci clavier à coller sur le terminal GNOME?
Avez-vous essayé d'utiliser Ctrl + Shift + V
Vous devez utiliser Ctrl+Shift+V coller dans un terminal. La copie est similaire. utilisation Ctrl+Shift+C copier depuis un terminal.
Le commentaire d'Arild explique (édité un peu):
Suivant la tradition, certains Ctrl+(letter) les raccourcis sont mappés à la saisie de caractères de contrôle dans le terminal (voir Comment les caractères de contrôle mappent-ils au clavier sur Wikipedia). C'est pourquoi nous ne pouvons pas les utiliser pour copier et coller. Les raccourcis peuvent être remplacés dans Edition> Raccourcis clavier, mais Ctrl + C est particulièrement utile pour conserver le caractère de contrôle ETX utilisé pour interrompre la commande en cours.
Ctrl+Insert pour 'copie', Shift+Delete pour 'couper' et Shift+Insert for 'paste' fonctionne aussi dans la plupart des endroits, y compris le terminal GNOME.
Comme dit par d'autres, Copy est CTRL + SHIFT + C et coller est CTRL + SHIFT + V par opposition à un champ de texte normal.
En bref, ajoutez simplement un décalage à de nombreux autres raccourcis d’édition de texte pour l’utiliser dans le terminal.
Voici quelques exemples:
Copie: CTRL + SHIFT + C
Coller: CTRL + SHIFT + V
Trouver: CTRL + SHIFT + F
Fermer la fenêtre du terminal: CTRL + SHIFT + W
Fermez toutes les fenêtres du terminal: CTRL + SHIFT + Q
et etc.