Debian 9 (Stretch) で Ctrl と Caps Lock の入れ替えに Tweak Tool を使う

※注意：執筆時点で Stretch は testing なので、今後状況が変わるかもしれません。

Emacs 使いということもあって、Ctrl と Caps Lock を入れ替えて使っています。
デスクトップ環境は GNOME です。

Debian Wheezy では CapsLockをCtrlにするまとめ - Λlisue's blog のように

    「設定」→「キーボード」→「タイピング」→「レイアウトの設定」→「オプション」→「Ctrl キーの位置」→「Ctrl と Caps Lock を入れ替える」

で設定できたようなのですが、Stretch になると、「キーボード」を選択した先に「タイピング」が見つからず、キーボードショートカットの設定しかできないようです。

代わりに xmodmap を使うことも検討したのですが、GNOME Tweak Tool というツールもある（昔からあったもよう）ことも知り、こちらを使うことにしました。

手順は、

    「Tweak Tool」→「タイピング」→「Ctrl キーの位置」→「Ctrl と Caps Lock を入れ替える」

です。

変更は速やかに適用され、再起動後も有効でした。

参考: keyboard - How do I remap the Caps Lock and Ctrl keys? - Ask Ubuntu