If you use Fedora and have Gnome Tweak tool installed you probably noticed that there are few default extensions which you probably don’t need or want to use. Since some of them are installed as packages from system repository “Remove” option beside them is grayed out and that’s what grinds my gears!
To delete your default extensions you’ll need to find them first. To do that you can use the following command:
sudo rpm -qa | grep ^gnome.*extension
which provides output similar to this:
gnome-shell-extension-common-3.16.2-1.fc22.noarch
gnome-shell-extension-launch-new-instance-3.16.2-1.fc22.noarch
gnome-shell-extension-pomodoro-0.11.0-0.2.gitc7ad79d3.fc22.x86_64
gnome-shell-extension-places-menu-3.16.2-1.fc22.noarch
gnome-shell-extension-alternate-tab-3.16.2-1.fc22.noarch
gnome-shell-extension-user-theme-3.16.2-1.fc22.noarch
gnome-shell-extension-apps-menu-3.16.2-1.fc22.noarch
gnome-shell-extension-background-logo-3.16.1-1.fc22.noarch
gnome-shell-extension-window-list-3.16.2-1.fc22.noarch
And then decide which ones you want to remove. Names should be pretty self-explanatory.
Now, to remove let’s say “Places menu” extensions you need to issue following command:
sudo dnf remove -y gnome-shell-extension-places-menu-3.16.2-1.fc22.noarch