2014-05-20 Ubuntu 14.04 LTS でCtrlとCapsを入れ替える つづき Linux Ubuntu 14.04でCaps LockをCtrlにする - いくやの斬鉄日記 この方法だと、/org/gnome/settings-daemon/plugins/keyboard/activeが"true"(Ubuntuではtrueがデフォルト)の場合に、画面ロックからの復帰や、ユーザーアカウントの切り替えといったタイミングで"setxkbmap -option"で設定していた内容がクリアされてしまいます(/org/gnome/desktop/input-sources/xkb-optionsの方が優先される)。 そんな問題が。確かにレジュームから戻った後だとCtrlキーが使えなくなってますね。