Use gnome-extensions cli to disable instead of gsettings
This commit is contained in:
@@ -3,7 +3,10 @@ if ! command -v gnome-shell-extension-manager &>/dev/null; then
|
|||||||
pipx install gnome-extensions-cli --system-site-packages
|
pipx install gnome-extensions-cli --system-site-packages
|
||||||
|
|
||||||
# Turn off default Ubuntu extensions
|
# Turn off default Ubuntu extensions
|
||||||
gsettings set org.gnome.shell disabled-extensions ['[email protected]', '[email protected]', '[email protected]']
|
gnome-extensions disable [email protected]
|
||||||
|
gnome-extensions disable [email protected]
|
||||||
|
gnome-extensions disable [email protected]
|
||||||
|
gnome-extensions disable [email protected]
|
||||||
|
|
||||||
# FIXME: Break these extensions into individual installers
|
# FIXME: Break these extensions into individual installers
|
||||||
gext install [email protected]
|
gext install [email protected]
|
||||||
|
|||||||
Reference in New Issue
Block a user