Попробуйте запустить gnome-shell с опцией -r (replace):
gnome-shell --replace
или
gnome-shell -r
следует заменить текущий рабочий диспетчер окон (если это что ты хочешь!). Если вы хотите использовать gnome-shell по умолчанию, перенастройте свой менеджер входа с sudo dpkg-reconfigure lightdm (как было предложено Джошем), чтобы иметь возможность выбрать сеанс gnome-shell на вашем экране входа в систему.
Если вы используете GNOME Shell, то mutter ест все суперпринтеры Super - не только Super самостоятельно, но и любой keybinding, который использует Super. Или в последний раз я проверил. Мне нужно выяснить, как это обнаружить и вернуться к чему-то вроде Ctrl + Alt + Space.
Однако в Unity Super + Space должно работать нормально - оно выполняется для я ☺. Хотя Unity использует только Super , чтобы вызвать Dash, привязки клавиш, содержащие Super, должны по-прежнему работать.