.xinitrcかxorg.confを編集する必要がある、みたいな情報があったが、

Gnomeではどちらも有効ではなかった。

実は、メニューで

システム→設定→キーボード→レイアウト→レイアウトのオプション→Key sequence to kill X server

という項目がある。

ここの

Control + Alt + Backspace

にチェックを入れると良い。

.xinitrc,xorg.confでダメだったのは、gnomeがここで管理していたからだろう。

しかし、そういことは早くいってくれ。