Pourquoi le collage ne fonctionne-t-il parfois pas dans gnome-terminal?
Ctrl + Shift + C et Ctrl + Shift + V sont censés remplacer la normale Ctrl + C et Ctrl + V dans 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 sélectionner manuellement Paste dans le menu Edit ne fonctionne pas non plus. Right click > Paste fonctionne, mais Edit > Paste ne fonctionne pas. La copie fonctionne, mais le collage ne fonctionne pas.
De plus, le mode vi est activé (set -o vi dans mon ~/.bashrc). Cela pourrait-il avoir quelque chose à voir avec cela?
Edit: Voici ne vidéo démontrant le problème. J'ai utilisé Screenkey (en mode "brut", pour saisir "shift") afin d'indiquer les touches sur lesquelles j'appuie.
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/63038
Selon le rapport de bogue, le paquet Ubuntu corrigé est la version gnome-terminal 2.32.1-0ubuntu3. Il se trouve actuellement dans la file 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 mise à jour normaux.
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.
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 à l'aide du menu, soit utiliser le menu contextuel. Vous ne pouvez pas sélectionner à l'aide de Edit > Copy, puis 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.
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 des processus sous terminal (enfin, envoi du signal TERM).
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.
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 quelque part en conflit avec un autre. En ce qui concerne la configuration spécifique, je ne sais pas. Cependant ... (citation du chat)
J'exploiterais mon contenu .config pour gnome-terminal, mais c'est difficile 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 ne sais pas pourquoi, mais j’ai déjà utilisé la Menu- Key (= à droite entre Super et Ctrl) pour copier/coller.
J'espère que c'est une aide pour vous ;-)
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.
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 cela est vrai, c'est un bug.)