Anri/manjaroConfiguration
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity

remove debug echo

Browse source
This commit is contained in:
Mylloon 2021-11-12 15:00:20 +01:00
parent 3fd4456614
commit 13b5a88a52
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
installEmojiPicker.sh
View file

@ -21,10 +21,8 @@ CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-
if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # Si il y en a pas on créer construit notre liste if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # Si il y en a pas on créer construit notre liste
then then
CUSTOM_KEYBINDINGS_LIST="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']" CUSTOM_KEYBINDINGS_LIST="['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']"
echo $CUSTOM_KEYBINDINGS_LIST
else # Si il y en a déjà on rajoute un élément à la liste else # Si il y en a déjà on rajoute un élément à la liste
CUSTOM_KEYBINDINGS_LIST="${CUSTOM_KEYBINDINGS_LIST::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']" CUSTOM_KEYBINDINGS_LIST="${CUSTOM_KEYBINDINGS_LIST::-1}, '/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/x11-emoji-picker/']"
echo $CUSTOM_KEYBINDINGS_LIST
fi fi
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$CUSTOM_KEYBINDINGS_LIST" # On met à jour la liste gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "$CUSTOM_KEYBINDINGS_LIST" # On met à jour la liste
# On le nomme # On le nomme