From b0b69b314fb7cda9dc23564d9279d748f4f519e8 Mon Sep 17 00:00:00 2001 From: David Heinemeier Hansson Date: Thu, 30 May 2024 16:57:51 -0700 Subject: [PATCH] Use gnome-extensions cli to disable instead of gsettings --- install/gnome-extensions.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/install/gnome-extensions.sh b/install/gnome-extensions.sh index 52c6658..59dc511 100644 --- a/install/gnome-extensions.sh +++ b/install/gnome-extensions.sh @@ -3,7 +3,10 @@ if ! command -v gnome-shell-extension-manager &>/dev/null; then pipx install gnome-extensions-cli --system-site-packages # Turn off default Ubuntu extensions - gsettings set org.gnome.shell disabled-extensions ['tiling-assistant@ubuntu.com', 'ubuntu-appindicators@ubuntu.com', 'ubuntu-dock@ubuntu.com'] + gnome-extensions disable tiling-assistant@ubuntu.com + gnome-extensions disable ubuntu-appindicators@ubuntu.com + gnome-extensions disable ubuntu-dock@ubuntu.com + gnome-extensions disable ding@rastersoft.com # FIXME: Break these extensions into individual installers gext install tactile@lundal.io