Der Hotkey ist dann ab dem nächsten Neustart scharf gestellt. Nach unserer Erfahrung reagieren aber Ubuntu mit Gnome (und gdm3) sowie Kubuntu mit KDE .