Ctrl+Shift+C/V が Debian 8 Jessie で動作しない

Ctrl+Shift+C/V が Debian 8 Jessie で動作しない

Debian 8 Jessie と Cinnamon 2.2 をインストールし、gnome-terminal を起動しました。しかし、キーボードを使用してテキストをコピー/貼り付けできません。ctrl+ shift+ C/を押すとV言語が切り替わるだけです。これを修正するにはどうすればいいでしょうか? Ubuntu 14.04 ではすべて期待どおりに動作しました。

答え1

Debian 8 では、gnome-terminal の設定に期待されるショートカット (私にとって) が表示され、ショートカットのテストが機能します。

しかし、ターミネーターのメンテナーが仕掛けた罠に陥っている可能性があります。ハイジャックされたx-xterminal-emulator数年前に優先されました。Ubuntu 14.04では見られませんでしたが、Debian 8では存在します。「ターミナル」を使用している場合、この厄介な問題は次のように回避できます。

sudo update-alternatives --config x-terminal-emulator

ちなみに、私が使用しているのは以下のものです:

$ sudo update-alternatives --config x-terminal-emulator
[sudo] password for tom: 
There are 20 choices for the alternative x-terminal-emulator (providing /usr/bin/x-terminal-emulator).

  Selection    Path                             Priority   Status
------------------------------------------------------------
* 0            /usr/bin/xterm-dev                60        auto mode
  1            /usr/bin/gnome-terminal.wrapper   40        manual mode
  2            /usr/bin/koi8rxterm               20        manual mode
  3            /usr/bin/konsole                  40        manual mode
  4            /usr/bin/kterm                    21        manual mode
  5            /usr/bin/lilyterm                 20        manual mode
  6            /usr/bin/lxterm                   30        manual mode
  7            /usr/bin/lxterminal               40        manual mode
  8            /usr/bin/mate-terminal.wrapper    30        manual mode
  9            /usr/bin/mlterm                   20        manual mode
  10           /usr/bin/mrxvt-full               10        manual mode
  11           /usr/bin/pterm                    20        manual mode
  12           /usr/bin/roxterm                  50        manual mode
  13           /usr/bin/stterm                   15        manual mode
  14           /usr/bin/terminator               50        manual mode
  15           /usr/bin/urxvt                    20        manual mode
  16           /usr/bin/uxterm                   20        manual mode
  17           /usr/bin/vala-terminal            50        manual mode
  18           /usr/bin/xfce4-terminal.wrapper   40        manual mode
  19           /usr/bin/xterm                    20        manual mode
  20           /usr/bin/xterm-dev                60        manual mode

Press enter to keep the current choice[*], or type selection number: 

同じく、vala-terminalこれを実行します。たとえば、どちらも gnome-terminal よりも機能が少ないです。

関連情報