1) Запятая на точку на цифровой клавиатуре заменяется в файле /usr/share/X11/xkb/symbols/ru строка:

include "kpdl(comma)"

комментируется:

//include "kpdl(comma)"

2) Чтобы разделителем целой и дробной части считалась точка, а не запятая надо в файле /usr/share/i18n/locales/ru_RU строку:

decimal_point "<U002C>"

заменить на:

decimal_point "<U002E>"

Переконфигурируем локаль:

sudo dpkg-reconfigure locales

https://pro-gram.ru/keyboard-linux-mint-18.html

echo deb http://archive.ubuntu.com/ubuntu/ bionic-proposed restricted main multiverse universe | sudo tee /etc/apt/sources.list.d/proposed.list
sudo apt update
sudo apt install gnome-shell
sudo rm /etc/apt/sources.list.d/proposed.list
nohup gnome-shell --replace &

Если потребуется откатиться, то:

sudo apt install --reinstall gnome-shell/bionic
nohup gnome-shell --replace &

https://toster.ru/q/599741
http://maxidrom.net/archives/1564 - проблема с горячими клвишами