Deleting default extensions and altering system-wide extensions folder
There really is no need of, or reason for shipping default extensions. In fact (except for user-themes) they are pretty much useless and bring no real benefit (and IF you ship default ones, dash to dock
and suspend button
would be at least the most useful choices, by the way). Gnome should try to be as minimal as possible.
Further issues arise with Atomic Host / Silverblue, as content of /usr/
is read-only and thus can’t be deleted or modified. For this reason, please don’t ship default extensions, and move the system extensions folder to e.g. /var/usrlocal/share/gnome-shell/extensions/
(or /usr/local/share/gnome-shell/extensions/
, which should work everywhere). There are also other cases in which /usr/
just is RO – in Fedora’s own documentation it is also mentioned that this is one of the core aspects of the FHS.