Copier-coller dans gnome-terminal

9

Puis-je le configurer pour permettre:

sélectionnez un clic droit pour copier
clic droit ou ctrl-v pour coller?

copy-paste gnome-terminal

— ripper234
source

1

Voulez-vous dire un clic droit pour copier et un clic droit pour coller? Ou un clic droit pour coller est la préférence n ° 2 si un clic droit pour copier n'est pas possible?

— Mikel

15

Vous pouvez faire Ctrl+ Vcoller en modifiant les paramètres dans le menu Édition-> Raccourcis clavier.

Mais vous ne voudrez peut-être pas le faire, car Ctrl+ Vest normalement utilisé par votre shell pour saisir littéralement des caractères. Par exemple, Table shell essaie normalement de compléter un nom de fichier par tabulation. Si vous devez réellement taper un onglet, Ctrl+ V Tabvous permet de le faire.

Vous pouvez dire à bash d'utiliser autre chose. Voir les commandes bash pour changer le texte pour plus de détails. Ctrl+ Qou \pourrait fonctionner aussi. Ou cela pourrait simplement fermer votre terminal. :-)

Je ne pense pas que les autres choses soient possibles.

Vous pouvez également essayer Ctrl+ Inspour copier et Shift+ Inspour coller.

Par défaut, Shift+ Inscolle tout ce que vous sélectionnez avec votre souris, même si vous ne le copiez pas.

Je le change pour faire une copie normale du presse-papiers via Édition-> Raccourcis clavier.

Ctrl+ Inset Shift+ Insfonctionnent en fait dans la plupart des applications, mais je ne pense pas que beaucoup de gens le sachent.

— Mikel
source

Je doute que je doive réellement taper un TAB littéral, certainement pas dans la fréquence à laquelle je dois coller du texte.

— ripper234

Shift+ Delest également coupé, mais cela ne s'applique pas à Gnome Terminal.

— Mikel

2

Ces raccourcis proviennent des normes IBM CUA .

— Mikel

Je ne suis pas devant un ordinateur pour vérifier, mais je suis presque sûr que si vous faites coller Ctrl + V et copier Ctrl + C, vous pouvez taper Ctrl + Maj + V ou C et il sera interprété comme Ctrl + V ou Ctrl + C.

— Mikel

8

Les valeurs par défaut dans Gnome Terminal sont Ctrl+ Shift+ cpour copier et Ctrl+ Shift+ vpour coller. Je ne pense pas que vous puissiez faire un clic droit Copier et Coller car Gnome Terminal utilise un clic droit pour ouvrir le menu contextuel. Et comme Mikel l'a dit, Ctrl+ vest interprété différemment par le shell.

— jonescb
source

0

mikel a le meilleur conseil. Un grand nombre d'émulateurs de terminaux (de la variété * xvt, en particulier) n'ont souvent pas le luxe du menu contextuel pour le collage, et certains d'entre eux lisent à partir de plusieurs fichiers de configuration (.Xdefaults, .xinitrc, etc.) pour les "paramètres" préférés de l'utilisateur. En conséquence, les gens doivent utiliser le clavier beaucoup plus souvent qu'ils ne le feraient, par exemple, dans GNOME Editor ou jedit. Donc, on s'habitue à utiliser Shift-Insert pour coller, et quand ils découvrent que cela ne fonctionne pas et gâche l'exécution d'un script dans le processus, cela peut être frustrant.

Je suis heureux de découvrir que GNOME Terminal a maintenant des raccourcis clavier configurables. J'utilise une saveur ou une autre d'Ubuntu depuis 2009, mais la dernière fois que j'en ai pris connaissance, c'était quelque chose que Konsole avait. Vous pariez que j'ai fait "Shift-Insert" mon raccourci de pâte dès que j'ai lu le post de mikel sur ce fil.

BZT

— BZT
source