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?
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?
Réponses:
Avez-vous essayé d'utiliser Ctrl+ Shift+V
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.
Ctrl+ Insertpour 'copier', Shift+ Deletepour 'couper' et Shift+ Insertpour 'coller' fonctionne également dans la plupart des endroits, y compris le terminal GNOME.
Shift+Insert
colle la "sélection primaire" ( xsel
). Ctrl+Shift+V
colle le presse-papiers ( xsel -b
) sur ma machine (Ubuntu 16.04, Terminal GNOME).
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.