Ubuntu Linux 17.04でCaps LockキーをCtrlキーにする設定

Ubuntu 16.04 CapsLockをControlに置換する方法が、17.04にも当てはまった。

/etc/default/keyboardというファイルにある XKBOPTIONS=""のようになっている行を、 XKBOPTIONS="ctrl:nocaps"のように書き替えて再起動すれば良い。

少なくともNetBSDだと/etc/defaultsディレクトリーのファイルは 直接編集はせずに、 /etcディレクトリーの同じファイル名のファイルを編集して 設定を上書きするのだが、Ubuntu Linux 17.04ののkeyboard(5) man pageによると、 これは直接修正するもののようだ。

/etc/default/keyboardファイルは、コンソールとX Window Systemの 両方に効果を持つファイルとのことだが、 X Window Systemでだけ有効になれば良いのであれば、ログアウトしてログインし直せば良いようにも見える。

0 件のコメント:

コメントを投稿

注: コメントを投稿できるのは、このブログのメンバーだけです。

Amazon Kindle Fireタブレットで、放送大学の学生向けのインターネット配信を視聴する

放送大学では学生向けには、テレビで放送されている講義のビデオと、ラジオで放送されている講義のオーディオがウェブ上で配信されている。 これはどうやら、Widevine CDMを使っているようだ。 そして、ウェブブラウザーのuser agent stringを見て視聴で...