Right_ctrl (while pressed) not working
Workaround:
Temporary Fix via dconf (Advanced)
Use dconf-editor to navigate to org.gnome.desktop.input-sources and ensure xkb-options includes grp:ctl_shift_toggle.
I’m not sure what to place in the “Custom value” window.
Any help is appreciated.
Can you detail what is it exactly that you’d like to accomplish? Presuming that the right Ctrl key is not working (physical issue), and you’d like to swap it with the right Alt key, for instance, then the following command would perform the swap:
gsettings set org.gnome.desktop.input-sources xkb-options "@as ['ctrl:swap_ralt_rctl']"
If you want to make the changes with dconf editor, then add the needed values in simple quotes, separated by commas, as can be seen in your screenshot.
If you install GNOME Tweaks, then you can check some of the possible combinations, by navigating to Keyboard → Additional Layouts Options → Ctrl position.
Hello, As best as I can surmise, an update to mutter screwed-up the Right-ctrl (while pressed) function. GNOME is aware of the problem, but hasn’t fixed the problem - yet.
I want to try to restore the Right-ctrl function by adding ‘grp:ctrl_shift_toggle’ and not screwing up xkb-options. The Right-ctrl key does not have a physical problem. I change KeyBoard Layouts frequently between English and German. The Right-ctrl (while pressed) allows me to use one hand to enter the German special characters - quick and easy. As it is now due to the bad mutter update, I have to use Super+Space back and forth as it is not temporal like the while-pressed functionality. I hope that answers your question. Thanks.
Well understood now.
I expect that you either have to add the mentioned function to the list of already set ones, in which case you would need to add , 'grp:ctl_shift_toggle' right before the closing square bracket, or replace the existing 'grp:rctrl_switch' with 'grp:ctl_shift_toggle', in case these are conflicting.
I would also double-check if the syntax of your suggested function is correct. E.g. ctl vs ctrl, or ctrl vs rctrl.
If something is not working as expected, you can always revert to the previous setup of xkb-options.
The function I found on the GNOME web-site says: grp:ctrl_shift_toggle. And the keyboard key is crtl which is on the right side of the space bar. Thank you
Tweaks has been and still is as you described.
Current version of Mutter is 49.4
Reply, My Steps:
sudo dconf-editor
xkb-options, Custom value: Set to default, two brackets:
Deselect all values in Tweaks - Additional Layout Options
enter string in: xkb-options, Custom value: [‘grp:rctrl_switch’]
reboot
Select: Additional Layout Options - Switching Layout Options - Right Ctrl (while pressed)
A Window of meme smiley faces appears
xkb-options, Custom value: Set to default, two brackets:
Deselect all values in Tweaks - Additional Layout Options
reboot
sudo dconf-editor
enter string in: xkb-options, Custom value: [‘grp:rctrl_switch’]
reboot
Select: Additional Layout Options - Switching Layout Options - Right Ctrl (while pressed)
A Window of meme smiley faces appears
xkb-options, Custom value: Set to default, two brackets:
Deselect all values in Tweaks - Additional Layout Options
reboot
sudo dconf-editor
enter string in: xkb-options, Custom value: [‘grp:rctrl_shift_shift_toggle’]
“got the above from a different forum”
reboot
Select: Additional Layout Options - Switching Layout Options - Right Ctrl (while pressed)
A Window of meme smiley faces appears
If I’ve done something boneheaded, I’d like to know, but from what I’ve read, mutter has been “all muttered-up.” It used to work.
Never use sudo for user space apps.
Okay, Thanks