La meilleure option, selon moi, est de redéfinir le raccourci clavier de la fonction Calculator clé, comme l'a dit @user58635.
Pour le rendre plus programmatique, par exemple pour l'inclure dans un script à exécuter après une nouvelle installation, ces étapes peuvent être utiles pour plus d'un :
-
Définit la liaison actuelle comme étant nulle :
gsettings set org.gnome.settings-daemon.plugins.media-keys calculator ''
-
Vous pouvez également lui attribuer une autre combinaison de touches, par exemple en appuyant sur la touche Shift + Calculator :
gsettings set org.gnome.settings-daemon.plugins.media-keys calculator '<Shift>Calculator'
-
Créer un nouveau raccourci clavier personnalisé pour la touche Calculatrice 1 :
-
Si vous n'avez pas d'autre combinaison de touches personnalisée :
# Create a new set of custom keybindings
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']"
# Set the new custom keybinding (key, command, name)
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding 'Calculator'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command 'qalculate-gtk'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name 'Qalculate'
-
Si vous disposez déjà d'une combinaison de touches personnalisée, vous devez l'ajouter à la liste. Par exemple :
# Create a new set of custom keybindings
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/', '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/']"
# Set the first custom keybinding (key, command, name)
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding 'Launch5'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command 'iceweasel -ProfileManager -no-remote'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name 'Iceweasel'
# Set the second (new) custom keybinding (key, command, name)
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/ binding 'Calculator'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/ command 'qalculate-gtk'
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom1/ name 'Qalculate'
-
Si rien ne se passe au premier essai, redémarrez Gnome. Dans Gnome Shell c'est juste Alt + F2 puis appuyez sur r + Enter
Références :
1 : Prenez cette excellente réponse comme un conseil : https://askubuntu.com/a/597414/17564