.xinitrcかxorg.confを編集する必要がある、みたいな情報があったが、 Gnomeではどちらも有効ではなかった。
実は、メニューで
システム→設定→キーボード→レイアウト→レイアウトのオプション→Key sequence to kill X server
という項目がある。
ここの
Control + Alt + Backspace
にチェックを入れると良い。
.xinitrc,xorg.confでダメだったのは、gnomeがここで管理していたからだろう。
しかし、そういことは早くいってくれ。
