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