# On récupère la dernière version de x11-emoji-picker wget -q https://api.github.com/repos/GaZaTu/x11-emoji-picker/releases/latest echo "Retrieve the last package..." grep 'browser_download_url": ".*.deb"' latest | awk '{ print substr ($0, 32 ) }' | awk '{ print substr( $0, 1, length($0)-1 ) }' > url rm latest # On télécharge le paquet wget -q --show-progress -i url -O x11-emoji-picker.deb rm url # On installe la dépendance wget -q --show-progress http://ftp.br.debian.org/debian/pool/main/i/icu/libicu57_57.1-6+deb9u4_amd64.deb sudo apt install ./libicu57_57.1-6+deb9u4_amd64.deb -y rm libicu57_57.1-6+deb9u4_amd64.deb # On l'installe sudo apt install ./x11-emoji-picker.deb -y # On le supprime rm x11-emoji-picker.deb # On ajoute un second raccourci clavier (2) 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 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/ binding "'semicolon'" gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/ command "'emoji-picker'"