Pourquoi le collage ne fonctionne-t-il parfois pas dans gnome-terminal?


34

Ctrl+ Shift+ Cet Ctrl+ Shift+ Vsont supposés remplacer les Ctrl+ Cet Ctrl+ normaux Vdans gnome-terminal.

Parfois, ils travaillent, mais généralement ils n'ont aucun effet. Quelles sont les raisons possibles pour cela? Je ne sais pas quelles autres informations donner.

Edit: Il semble que la sélection manuelle Pastedans le Editmenu ne fonctionne pas non plus. Right click > Pastefonctionne, mais Edit > Pastene fonctionne pas. La copie fonctionne, mais le collage ne fonctionne pas.

En outre, j'ai vi-mode activé ( set -o vidans mon ~/.bashrc). Cela pourrait-il avoir quelque chose à voir avec cela?

Edit: Voici une vidéo illustrant le problème. J'ai utilisé Screenkey (en mode "brut" pour saisir "shift") afin d'indiquer les touches sur lesquelles j'appuie .


5
Votre observation est correcte: copier ou coller dans gnome-terminal ne fonctionne parfois pas. Il est raisonnable de penser que la gestion par gnome-terminal de la sélection primaire (secondaire) et du presse-papiers est problématique.
Gödel

1
Je n'ai jamais vécu ça. Quelle version d'Ubuntu avez-vous? (Mettez-le dans une étiquette, par exemple 10.10ou 10.04)
Marius Gedminas

@Marius: Fait (10.10).
Matthew

2
J'ai le même problème dans deux installations de mon Ubuntu. Les deux avaient le problème lors de la mise à niveau de 10.4 à 10.10. Après une installation propre sur les deux machines (10.10), seul mon ordinateur portable semble avoir ce problème à présent. Vi n'a rien à voir avec ça, puisque je ne l'ai pas utilisé là-bas. Ce comportement ne se produit que dans le raccourci gnome-terminal ctrl + shift + c ou v, ce qui renforce le point de Godel. Gestion des raccourcis pour la sélection du terminal ou du presse-papiers.
seins nus

1
Je l'ai aussi sur l'un de mes systèmes. Je crois que c'est un bug. Mes fonctions copier / coller sont mappées sur une combinaison de touches différente, mais la solution de contournement consiste à accéder aux raccourcis clavier, à cliquer deux fois sur une entrée (sans rien changer), puis le copier / coller fonctionne. Un clic droit sur copier / coller fonctionne toujours, comme dans votre observation.
Belacqua

Réponses:


12

C'est un bogue dans gnome-terminal, le rapport de bogue est ici avec un correctif:

https://bugzilla.gnome.org/show_bug.cgi?id=600876

Gnome n'a cependant pas résolu le problème.

Ubuntu l'a corrigé indépendamment de Gnome. Le rapport de bogue détaillé est ici:

https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/630383

Selon le rapport de bogue, le paquet Ubuntu corrigé est une version gnome-terminal 2.32.1-0ubuntu3. Il se trouve actuellement dans la file d'attente de téléchargement du référentiel proposé par maverick (avec le statut non approuvé). La file d'attente de téléchargement est ici:

http://launchpad.net/ubuntu/maverick/+queue

Vous pouvez télécharger le paquet source et le construire vous-même avec debuild.

Espérons que cela sera bientôt poussé vers les référentiels de mises à jour normales.


1
Notez que ceci est corrigé dans Gnome à partir du 20 mars 2011.
Matthew,

1
J'ai toujours ce problème en 2018. Gnome terminal v3.28.2
Jason

7

Comme vous le soupçonnez, cela a à voir avec le mode "vi".

Le mode "vi" a des modes insertion et commande séparés, comme vous le savez. En mode commande, tout le texte envoyé au terminal est interprété comme une commande.

Pour vous convaincre, faites ceci:

  • copier quelque part une chaîne contenant "isometext"
  • allez au terminal et appuyez sur ESC pour passer en mode commande
  • coller

vous ne devriez voir que "sometext", car le "i" initial a été interprété comme une commande d'insertion.

Solution: en mode commande, appuyez sur "i" avant de l'insérer. Si vous n'êtes pas sûr, appuyez sur ESC et "i" avant de l'insérer.


4
Merci, mais j'ai bien peur que ce ne soit pas ça. J'ai vérifié deux fois pour m'assurer que je suis en mode insertion et je le suis certainement.
Matthew

1
J'ai exactement le même problème que Matthew (ça va et vient) et je n'ai jamais exécuté mon terminal en mode vi. Sur Maverick maintenant, mais déjà auparavant sur Jaunty.
Kit Sunde

2

L'utilisation du terminal copier et coller utilise deux méthodes différentes en fonction de la manière dont vous effectuez le copier-coller. Si vous utilisez le bouton mettre en surbrillance et coller avec le troisième bouton, vous utilisez l'un des tampons de X pour effectuer le travail. Si vous utilisez le menu ou faites un clic droit pour copier et coller, vous utilisez un tampon différent .

Ainsi, si vous copiez avec une sélection du menu, vous devez soit coller en utilisant le menu, soit utiliser le menu contextuel. Vous ne pouvez pas sélectionner en utilisantEdit > Copy et utiliser le troisième bouton de la souris pour coller.

C'est aussi la raison pour laquelle vous ne pouvez pas copier en sélectionnant puis en allant dans une autre application et en utilisant Edit > Paste.


1

essayez shift-ctrl-v(mêmes boutons, ordre différent). Vous pouvez également réaffecter vos raccourcis clavier dans le menu Edition du terminal. Ne pas le réaffecter à Ctrl + C, car Ctrl + C est utilisé pour tuer les processus sous terminal (enfin, envoi du signal TERM).


2
Je peux confirmer que shift-ctrl-v ne fonctionne pas non plus. Cependant, lorsque je vérifiais les raccourcis, j'ai remarqué que sélectionner "Coller" manuellement dans la fenêtre d'édition ne fonctionnait pas non plus. Alors peut-être que ce n'est pas un problème de raccourci, mais un problème de collage. Je vais éditer la question avec cette information.
Matthew

vous savez que lorsque vous fermez l'application que vous avez copiée, votre contenu copié est perdu? alors peut-être que c'est le problème
Pawełkowy

1
Oui, j'en suis consciente. Je copie directement gnome-terminalpour être sûr, et ça marche si je Right Click > Paste. Juste pas dans le menu Edition / raccourcis.
Matthieu

1

Pour moi, le moyen le plus simple de coller est le clic du bouton central de la souris. Cependant, je copie toujours en utilisant le menu, parce que je n'ai pas besoin de copier souvent.


1
Merci pour votre contribution! Le bouton central de la souris ne me convient pas, car lorsque je travaille dans un terminal, je souhaite généralement éviter de basculer entre le clavier et la souris. Je colle assez souvent, donc ça peut devenir un problème si ce n'est pas rationalisé.
Matthieu

1

Pour mémoire, j'ai effectué ce test sur différentes instances virtuelles d'installations de stock, allant de la version 9.04 à la version 11.04 Alpha 3. Je ne suis pas parvenu à reproduire vos problèmes.

Je crois que le problème peut être un type de configuration en conflit avec un autre. En ce qui concerne la configuration spécifique, je ne sais pas. Cependant ... (citation du chat)

Je supprimerais mon contenu .config pour gnome-terminal, mais c’est pénible de sauvegarder des profils.

Vous pourriez envisager d'effacer vos configs gnome-terminal pour commencer, mais après cela, je ne suis pas sûr de la façon de résoudre ce problème.


Je tombe parfois sur certaines de mes anciennes réponses de mon enfance et je supprime celles que je n’écrirais pas aujourd’hui. Par exemple, ceux qui disent "je crois", "je ne sais pas" et "je ne suis pas sûr de la façon de régler ce problème". Je pensais que vous voudriez que je vous signale cette réponse de sept ans si vous pensez de la même façon. :)
WinEunuuchs2Unix

0

Je ne sais pas pourquoi, mais j'ai déjà utilisé la Menu-Key (= à droite entre Superet Ctrl) pour copier / coller.
J'espère que c'est une aide pour vous ;-)


1
Je sais que c'est possible (et je l'ai utilisé comme solution de contournement), mais c'est pénible. J'aimerais vraiment pouvoir utiliser shift + ctrl + c/v.
Matthew

0

Je n'ai jamais eu de problèmes avec cela ne fonctionnant que si le focus du curseur n'était pas défini sur le terminal. assurez-vous que vous avez cliqué sur le terminal avant d'essayer de coller.


Le terminal a définitivement le focus. Si je frappe menu > p, ça colle comme prévu.
Matthew

0

Je suppose que c'est un problème avec le widget interne du terminal qui n'a pas le focus, peut-être connecté à la barre de souris interne. Si vous cliquez dans le corps du terminal avant d'appuyer sur les touches, est-ce que cela résout le problème?

(Si c'est vrai, c'est un bug.)


J'ai bien peur que ça ne marche pas. Regardez la vidéo dans ma deuxième édition pour avoir une idée de ce qui se passe.
Matthieu
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.