В Ubuntu 14.04 LTS существует как минимум два способа сделать это. Предположения:
Вы хотите сделать это для Unity (графическая среда). Цель состоит в том, чтобы просто изменить точку запятой, чтобы не изменять весь макет или другие параметры.Выполнить (Alt + F2) "dconf-editor", перейти в дерево к схеме "org .gnome.desktop.input-sources "и установите ключ" xkb-options "в значение, которое вы хотите, например "['kpdl: comma']" или "[kpdl: dot ']".
Значения определены в справке xkeyboard-config:
man xkeyboard-config
Это то, что я найденный там:
Numeric keypad delete key behaviour
┌─────────────────────────────────────────────────────────────────┐
│Option Description │
├─────────────────────────────────────────────────────────────────┤
│kpdl:dot Legacy key with dot │
│kpdl:comma Legacy key with comma │
│kpdl:dotoss Four-level key with dot │
│kpdl:dotoss_latin9 Four-level key with dot, Latin-9 only │
│kpdl:commaoss Four-level key with comma │
│kpdl:momayyezoss Four-level key with momayyez │
│kpdl:kposs Four-level key with abstract separators │
│kpdl:semi Semicolon on third level │
└─────────────────────────────────────────────────────────────────┘
Вы также можете использовать командную строку вместо графического интерфейса dconf-editor для выполнения одна и та же. Вот так:
gsettings set org.gnome.desktop.input-sources xkb-options "['kpdl:comma']"