Ubuntu 18.04.01 обновлена от 16,04
Высокий звук сдвига Вниз не работает в PHPStorm. Кроме того, я не могу присвоить ярлык на него, и это не распознано как ярлык (но вершина, оставленная, и право действительно становится распознанным.
Я использую PHPStorm и не могу недооценить Строку Перемещения из-за этого.
cat /etc/default/keyboard
XKBLAYOUT=us
XKBVARIANT=intl
BACKSPACE=guess
EDI: Я переустановил ОС (18.04.1) только, чтобы гарантировать, что это не была проблема с обновлением. НО я сохранил свою домашнюю папку. Это не работает также. Но мои расширения Gnome там, поэтому возможно, существует каталог конфигурации для него в моей домашней папке? До переустанавливают, я переименовал папки gconf, гнома и compiz в домашней папке.
Я, конечно, не знаю точный ответ того, почему это произошло или какова связанная конфигурация.
Я видел, что с новым пользователем, этой проблемой и Супер L для блокировки не работы, были решены.
Таким образом, я пытался копировать .config
каталог нового пользователя, но это не работало. Затем я скопировал все файлы и каталоги, начинающиеся с точки (скрытой) включая .profiles
и это работало. Я потерял все конфигурации, но это стоит.
Попробуйте основную настройку клавиатуры. В моих 16.04 и 18.04 это - установка как это:
$ cat /etc/default/keyboard
# KEYBOARD CONFIGURATION FILE
# Consult the keyboard(5) manual page.
XKBMODEL="pc105"
XKBLAYOUT="us"
XKBVARIANT=""
XKBOPTIONS=""
BACKSPACE="guess"
Существует отчет об ошибках: Не мог использовать ярлыки с переключателем раскладки клавиатуры на ПОМОЩНИКЕ Ubuntu, 16.04 (с HWE), 17.10 и 18.04 LTS
К сожалению, отчет об ошибках не имеет никаких, фиксируют все же.
К счастью, существует решение, которое могло бы работать отправленное Norbert на другом форуме: проблемы переключения Раскладки клавиатуры и опрос:
sudo add-apt-repository ppa:nrbrtx/xorg-hotkeys
sudo apt-get update
sudo apt-get dist-upgrade
Прочитайте обе ссылки полностью перед продолжением.