web-dev-qa-db-fra.com

Ctrl + Maj + V ne colle pas au terminal maintenant?

Je suis habitué à copier et coller dans le terminal et à l'aide de Ctrl+Shift+V coller. Mais sur Raring, cette commande clé semble ne pas fonctionner? Ctrl+Shift+C ne copie cependant.

Comment puis-je réparer le terminal pour qu'il utilise les anciennes combinaisons de clés?

shortcut-keysgnome-terminal
4
j0h

Comment éditer vos raccourcis clavier:

  • Ouvrir un terminal
  • Cliquez sur edit dans la barre de menus.
  • Cliquez sur Keyboard shortcuts dans le menu.

J'espère que ça aide

4
Joren

J'ai eu un problème similaire dans 15.04. Résolu par:

  • Ouvrir un terminal
  • Cliquez sur Edit dans la barre de menus.
  • Cliquez Preferences
  • Cliquez Keyboard shortcuts
  • Vérifiez "Enable keyboard shortcuts"

Maintenant des raccourcis Ctrl+Shift+C et Ctrl+Shift+V travailler comme avant.

3
DominikCZ