From 458e074b0376bf427bf1d3061f625a1c322e1e9f Mon Sep 17 00:00:00 2001 From: David Heinemeier Hansson Date: Fri, 31 May 2024 08:29:34 -0700 Subject: [PATCH] This is a fine place --- install/gnome-extensions.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install/gnome-extensions.sh b/install/gnome-extensions.sh index 59dc511..37dc0fb 100644 --- a/install/gnome-extensions.sh +++ b/install/gnome-extensions.sh @@ -8,7 +8,7 @@ if ! command -v gnome-shell-extension-manager &>/dev/null; then gnome-extensions disable ubuntu-dock@ubuntu.com gnome-extensions disable ding@rastersoft.com - # FIXME: Break these extensions into individual installers + # Install new extensions gext install tactile@lundal.io gext install just-perfection-desktop@just-perfection gext install blur-my-shell@aunetx