Ага, этопо дизайну:
Поскольку вы установили разрабатываемый выпуск (17.04 ), срок службы которого составлял всего 9 -месяцев, а окончание срока службы (EOL )было января 2018 г. , нет никакого способа обновить его до 17.10, так как это произошло еще в июле 2018 года .
Так как вы застряли с выпуском без пути обновления (, так как вы не можете пропускать версии ), единственное, что вы можете сделать, это:
/home
/home
На будущее, вам следует:
ИЛИ
К сожалению, в Linux Mint (и производных версиях Ubuntu)xmodmap
происходит сброс при каждом подключении/отключении клавиатуры или при обнаружении новой клавиатуры. В случае клавиатур с двойным режимом, таких как моя, система понимает, что это две отдельные клавиатуры, и в этот момент сбрасывает xmodmap
.
Решение этой проблемы — отредактировать файл pc
в /usr/share/X11/xkb/symbols/
с помощью:
$ sudo nano /usr/share/X11/xkb/symbols/pc
Затем измените строки 77, 78 и 81 с...:
key <HOME> { [ Home ] };
key <PGUP> { [ Prior ] };
key <PGDN> { [ Next ] };
... до:
key <HOME> { [ Next ] };
key <PGUP> { [ Home ] };
key <PGDN> { [ Prior ] };
Эти клавиши будут жестко изменены для всех клавиатур.