Gnome3になってControlとCaps_Lockの入れ替え方法が変わっていたのでメモ。
- デスクトップ右上のログイン名が書いてあるところをクリック
- System Settingsを選択
- Personal -> Region and Languageを選択
- Layoutsタブを選択
- Options...ボタンを押す
- Ctrl key positionを選択
- Swap Ctrl and Caps LocksとかMake Caps Lock an additional Ctrlとかを選ぶ
これで入れ替わる/Ctrlになるはず。