Ctrl + Shift + C et Ctrl + Shift + V sont supposés remplacer la normale Ctrl + C et Ctrl + V dans gnome-terminal
Parfois, ils fonctionnent, mais ils n’ont généralement aucun effet. Quelles sont les raisons possibles de cela? Je ne suis pas sûr de ce que d'autres informations à donner.
Modifier: il semble que la sélection manuelle de Paste
dans le menu Edit
ne fonctionne pas non plus. Right click > Paste
fonctionne, mais pas Edit > Paste
. La copie fonctionne, mais le collage ne fonctionne pas.
J'ai aussi le mode vi activé ( set -o vi
dans mon ~/.bashrc
). Est-ce que cela pourrait avoir quelque chose à voir avec cela?
Modifier: voici une vidéo présentant le problème. J'ai utilisé la touche écran (en mode "brut", pour prendre "shift") pour afficher les touches sur lesquelles j'appuie.