Ubuntu Linux 18.04 LTSで、Alt＋Tabでアプリケーションを切り替えようとすると、グルーピングされたアプリケーションが 表示され、その中で実際に切り替えたいウィンドウを選ぶことになります。これが非常にやりにくいので、変更することに。「設定」→「デ…

GNOMEの設定を使ったやり方です。こちらで、CtrlキーとCapsLockキーを入れ替えることができます。 $ dconf write /org/gnome/desktop/input-sources/xkb-options "['ctrl:swapcaps', 'caps:ctrl_modifier']" 「caps:ctrl_modifier」がないと、Shift＋CapsLoc…