From a665f52e2720e6ecf2c5377b9992df1ee61bc352 Mon Sep 17 00:00:00 2001 From: David Heinemeier Hansson Date: Fri, 31 May 2024 11:18:27 -0700 Subject: [PATCH] We need to switch to just downloading the zip files and extracting ourselves --- install/gnome-extensions.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/install/gnome-extensions.sh b/install/gnome-extensions.sh index dac96b5..fac35a9 100644 --- a/install/gnome-extensions.sh +++ b/install/gnome-extensions.sh @@ -9,6 +9,7 @@ if ! command -v gnome-shell-extension-manager &>/dev/null; then gnome-extensions disable ding@rastersoft.com # Install new extensions + # FIXME: Install these manually to avoid needing the pop-up confirmation during the installation process gext install tactile@lundal.io gext install just-perfection-desktop@just-perfection gext install blur-my-shell@aunetx