Estoy realmente molesto porque recientemente cambié a GNOME y perdí un comando, Super + P , que tenía con una aplicación especial.
Ahora, muestra el menú lateral (Ubuntu Dock) y numera las aplicaciones.
Intenté cambiarlo en las opciones del teclado, ¡pero el comando ni siquiera aparece!
Supongo que es un problema de GNOME. Pero no tengo mucha experiencia y es realmente molesto que no pueda ver el comando en la ventana de comandos del teclado.
Esto en un XPS 13, Ubuntu 17.10, GNOME 3.26.1.
Respuesta aceptada:
Puede deshabilitar este super +P comportamiento ejecutando el siguiente comando en Terminal
gsettings set org.gnome.shell.extensions.dash-to-dock hot-keys false