Salut !
Sous Gnome (44.10 / X11), je cherche un moyen de créer un raccourci clavier. Jusque là rien de paranormal. Mais qui ne s’applique que dans un contexte particulier.
En l’occurrence il s’agirait de créer un raccourci pour activer/désactiver le mode mute de Kodi. Mais uniquement quand je suis dans l’application Kodi ! Et (surtout) pas ailleurs.
Comme il semble impossible de créer des raccourcis personnalisés sous Kodi (en tout cas je n’ai pas trouvé), il faut donc passer par le shell.
La commande shell est la suivante:
kodi-send –action=“mute”
D’après Chatgpt (brave petit), il existe une extension Gnome pour faire ce genre de choses:
“Shortcut-Window-Switcher”
Le seul souci, c’est que cette extension… n’existe pas ! 🙂
Une idée ?
PS: il existe bien évidemment un raccourci natif sous Kodi pour “mute/unmute”. C’est la touche F8. Mais F8, moi je suis incapable de m’en rappeler d’une fois sur l’autre. F8 !!!! Sans déc*nner, pourquoi pas F9, F12 ? Enfin bref…