Как мне переназначить модифицированный ключ, такой как CTRL-j, на другой ключ (возможно, модифицированный), оставив ключ j в покое?
Я использую Ubuntu 18.04.
В Ubuntu сочетаниями клавиш можно управлять через «Редактор настроек» и «Клавиатура». Эти программы могут быть соответственно установлены с помощью
sudo apt install xfce4-settings-editor
sudo apt install xfce4-keyboard-settings
В xfce4-keyboard-settings (проще программы), перейдите на вкладку «Ярлыки приложений» и дважды щелкните по ярлыку, который вы хотите отредактировать, предположительно Ctrl + J, затем отредактируйте ярлык.