Як змінити клавішу відкривання головного меню в Gnome Shell

Часом я страждаю на страшну недугу яка називається Rukozhopius Syndrom, внаслідок якої мені довелось змінити не одну клавіатуру і відучити себе пити будь-що солодке біля комп'ютера (ну майже).

Так склались зірки, що я не помітив відсутність лівої клавіші Super (Windows) на розкладці нової клавіатури, яка в Gnome 3 відповідає за відкриття головного меню. Так як я друкую двома руками і в більшості випадків не користуюсь мишкою, то права клавіша Super є доволі прийнятним варіантом.

Через консоль проблема вирішується доволі просто:

gsettings set org.gnome.mutter overlay-key 'SUPER_R'

Повернути все як було:

gsettings set org.gnome.mutter overlay-key 'SUPER_L'

Або зовсім вимкнути:

gsettings set org.gnome.mutter overlay-key ''

Джерело: Disable default Gnome Shell Super Key Mapping - Super User.