From d2eb6b702de451ead8e5c2a34649022dd14815b6 Mon Sep 17 00:00:00 2001 From: Donovan Glover Date: Thu, 28 Jul 2022 03:39:37 -0400 Subject: [PATCH] gnome: Remove extensions This was cute, but it's easier to maintain GNOME by simply using stock instead of using a bunch of extensions. --- gnome/.config/gnome/extensions.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 gnome/.config/gnome/extensions.sh diff --git a/gnome/.config/gnome/extensions.sh b/gnome/.config/gnome/extensions.sh deleted file mode 100755 index cf6ff84..0000000 --- a/gnome/.config/gnome/extensions.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -# Use the Alternate Tab and Launch New Instance extensions -gsettings set org.gnome.shell enabled-extensions "[ - 'alternate-tab@gnome-shell-extensions.gcampax.github.com', - 'launch-new-instance@gnome-shell-extensions.gcampax.github.com' -]"