Ubuntu 18.04では、「標準」設定で適切なオプションが見つかりませんでした(デバイス-> キーボード、または地域と言語 )。
私が見つけた「クリック可能な」ソリューションは、他の理由で以前にインストールしたgnome-Tweak-tool
を使用します:Sudo apt install gnome-Tweak-tool
ツールを実行するには、Winボタンを押してTweaksと入力します。
キーボードとマウスタブのアプリで追加のレイアウトオプションをクリックし、数字キーパッドの削除動作セクションを開きます。そこで使用できる複数のオプションが機能しました(デフォルトとしてドット付きの4レベルキーを選択しました)。
このソリューションの良い点は、オプションを選択するとすぐに変更が適用されることです([適用]などをクリックする必要はありません)。これは、何かを行うために一時的に変更してデフォルトに戻す必要がある場合に便利です。アプリを開いたままにして、完了したらクリックしてください。
kpdl(dot)
には実装されたオプションがあります:
setxkbmap de -option kpdl:dot
永続的な変更の場合は、オプションを/ etc/default/keyboardに追加します
# KEYBOARD CONFIGURATION FILE
XKBMODEL="pc105"
XKBLAYOUT="de"
XKBVARIANT=""
XKBOPTIONS="kpdl:dot"
BACKSPACE="guess"
これにより、xkb-dataから独立し、アップグレード時に保存されます。
1つの方法は、カスタムキーボードレイアウトを作成することです。
/usr/share/X11/xkb/symbols/de
で、これを追加します:
partial alphanumeric_keys
xkb_symbols "dot" {
include "de(basic)"
include "kpdl(dot)"
name[Group1]="German (dot as decimal separator)";
};
/usr/share/X11/xkb/rules/evdev.xml
で、これを追加します:
<variant>
<configItem>
<name>dot</name>
<description>German (dot as decimal separator)</description>
</configItem>
</variant>
次回の再起動後、ドイツ語(小数点記号としてのドット)レイアウトを追加し、そのレイアウトとドイツ語を簡単に切り替えることができます。