すごく今更な気がしますが知らなかったので。 LinuxやEmacsを使ってるとCtrlキーを多用しますが、家のノートPCだとCtrlキー自体が小さいので時々打ち間違えてしまってました。何かの雑誌に「CapsキーとCtrlキーを入れ替えれば云々」と書いてあり、その方法を…