fix comments
This commit is contained in:
parent
32fe098329
commit
d34f90eb7a
1 changed files with 1 additions and 1 deletions
|
@ -15,7 +15,7 @@ sudo apt install ./x11-emoji-picker.deb -y
|
||||||
# On le supprime
|
# On le supprime
|
||||||
rm x11-emoji-picker.deb
|
rm x11-emoji-picker.deb
|
||||||
|
|
||||||
# On ajoute un second raccourci clavier (2)
|
# On ajoute un raccourci clavier
|
||||||
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']"
|
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']"
|
||||||
# On le nomme
|
# On le nomme
|
||||||
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ name "'Emoji Picker'"
|
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ name "'Emoji Picker'"
|
||||||
|
|
Reference in a new issue