enable gnome extensions

This commit is contained in:
Mylloon 2022-09-15 11:46:30 +02:00
parent fc8790b60d
commit b8694c5c01
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

18
arch.sh
View file

@ -224,6 +224,15 @@ then
fi
# === Gnome configuration ==
# Extensions
killall -HUP gnome-shell # restart gnome
gsettings set org.gnome.shell disable-user-extensions false # enable extensions globally
gnome-extensions enable dash-to-dock@micxgx.gmail.com
gnome-extensions enable ding@rastersoft.com
gnome-extensions enable x11gestures@joseexposito.github.io
gnome-extensions enable appindicatorsupport@rgcjonas.gmail.com
gnome-extensions enable no-overview@fthx
# Nautilus keybinding
CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
if [[ $CUSTOM_KEYBINDINGS_LIST == "@as []" ]] # creating new list if not exists
@ -265,13 +274,6 @@ then
systemctl enable touchegg.service
systemctl start touchegg
# Extensions (currently not working ... need to enable them manually after the reboot)
gnome-extensions enable dash-to-dock@micxgx.gmail.com
gnome-extensions enable ding@rastersoft.com
gnome-extensions enable x11gestures@joseexposito.github.io
gnome-extensions enable appindicatorsupport@rgcjonas.gmail.com
gnome-extensions enable no-overview@fthx
# === Clipboard manager ==
gsettings set org.gnome.shell.keybindings toggle-message-tray "[]"
CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)
@ -346,7 +348,7 @@ then
git config --global pull.rebase true
git config --global init.defaultBranch main
echo -e "\nInstallation terminée.\nIl faut redémarrer l'ordinateur.\nPensez à activer les extensions après redémarrage."
echo -e "\nInstallation terminée.\nIl faut redémarrer l'ordinateur."
else
echo "Ce script ne fonctionne que sur Arch."
fi