add legacy extension support

This commit is contained in:
Mylloon 2022-11-02 03:09:36 +01:00
parent d73e1034ed
commit dc93c1d8f0
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -236,6 +236,7 @@ then
# Extensions # Extensions
killall -HUP gnome-shell # restart gnome killall -HUP gnome-shell # restart gnome
gsettings set org.gnome.shell disable-user-extensions false # enable extensions globally gsettings set org.gnome.shell disable-user-extensions false # enable extensions globally
gsettings set org.gnome.shell disable-extension-version-validation true # legacy extension support
gnome-extensions enable dash-to-dock@micxgx.gmail.com gnome-extensions enable dash-to-dock@micxgx.gmail.com
gnome-extensions enable ding@rastersoft.com gnome-extensions enable ding@rastersoft.com
gnome-extensions enable x11gestures@joseexposito.github.io gnome-extensions enable x11gestures@joseexposito.github.io