Je suis en train de configurer la version 20.04 après avoir effectué la mise à niveau de la version 19.04, et une partie de cette configuration consiste en ce qui suit faire fonctionner mes clés MM avec spotify . En essayant de créer les raccourcis personnalisés, je me suis heurté à un problème. Sur les raccourcis système préexistants, les touches MM de mon clavier sont enregistrées comme des entrées valides et peuvent être attribuées :
Cependant, en essayant d'assigner un raccourci clavier à un raccourci personnalisé, la pression sur la touche n'est pas reconnue et je me retrouve sur cet écran :
Ce que j'ai essayé jusqu'à présent :
-
Comme suggéré dans les commentaires, suivi ce poste La suggestion de l'auteur de désactiver les touches de lecture et de pause par défaut de l'ordinateur.
dconf-editor. Pas de changement. -
J'ai essayé avec un deuxième clavier (également avec des touches média), sans succès.
-
J'ai essayé de lier une clé et de la délier, mais cela n'a rien donné non plus.
-
J'ai regardé autour de moi dans
gnome-tweaksau cas où quelque chose aurait été ajouté/mise à jour mais que vous ne trouviez rien. -
Je suis tombé sur ce poste Cependant, la solution proposée fait apparaître une erreur :
david@david-pc:~$ gsettings set org.gnome.settings-daemon.plugins.media-keys previous '' expected value: (empty input) ^
-
Après la mise à jour du noyau
5.4.0-28-genericles touches de média ont fonctionné brièvement, puis se sont de nouveau arrêtées de manière aléatoire. Après un redémarrage, les touches multimédia ont recommencé à fonctionner, puis se sont arrêtées au bout de 15 minutes environ.
Est-ce un bug, ou est-ce que je fais quelque chose de mal ? Dans tous les cas, j'aimerais avoir une réponse ou une solution.
