Raccourci clavier pour coller sur le terminal GNOME


79

Nous utilisons Ctrl+ Vpour 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?


6
Ctrl-Maj-C et Ctrl-Maj-V sont les raccourcis respectifs. Une autre chose qui fonctionne aussi avec Linux (en général): si vous marquez un fragment de texte, sans aucun raccourci, vous pouvez le coller en cliquant sur le bouton central de la souris.
Janvier

Réponses:


103

Avez-vous essayé d'utiliser Ctrl+ Shift+V


1
Pourquoi ne pas simplement Ctrl + V? Je ne comprends pas ...
user1767754

4
@ user1767754 Ce raccourci est déjà utilisé par la plupart des terminaux pour indiquer que la clé suivante doit être insérée littéralement. Cela permet par exemple d'insérer un caractère de tabulation brut dans le terminal.
Jan Warchoł

55

Vous devez utiliser Ctrl+ Shift+ Vpour coller dans un terminal. La copie est similaire. utilisez Ctrl+ Shift+ Cpour copier depuis un terminal.


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

Conformément à la tradition, certains Ctrl+ (letter)raccourcis sont mis en correspondance avec la saisie des caractères de commande dans le terminal (voir Comment les caractères de contrôle carte aux claviers sur Wikipédia). 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.


7
Suivant la tradition, certains raccourcis Ctrl + (lettres) permettent d’entrer des caractères de contrôle ( en.wikipedia.org/wiki/… ) dans le terminal. 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.
Arild

12

Ctrl+ Insertpour 'copier', Shift+ Deletepour 'couper' et Shift+ Insertpour 'coller' fonctionne également dans la plupart des endroits, y compris le terminal GNOME.


4
Shift+Insertcolle la "sélection primaire" ( xsel). Ctrl+Shift+Vcolle le presse-papiers ( xsel -b) sur ma machine (Ubuntu 16.04, Terminal GNOME).
jfs

8

Comme dit par d'autres, Copier est CTRL+ SHIFT+ Cet coller est CTRL+ SHIFT+ Vpar opposition à un champ de texte normal.

En bref, il suffit d’ajouter Shift à de nombreux autres raccourcis d’édition de texte pour l’utiliser dans le terminal.

Voici quelques exemples:

Copier: 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.


1
(Nous ne sommes généralement pas censés utiliser les commentaires pour +1, mais je tiens à dire que c'est une excellente première réponse: ajoute de façon concise de nouvelles informations et améliore les réponses existantes.)
chaskes
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.