Exclude Gnome Extensions app

[Mershl]

Hi everybody,

I much prefer the Extension Manager app to the Extensions app of Gnome. My goal is to exclude the Extensions app from my installation. Through environment.gnome.excludePackagesI’ve had no luck yet as the Extensions app seems to be special.

Its .desktop file shows: Exec=/nix/store/<…>-gnome-shell-49.2/bin/gnome-extensions-app

So it seems it’s not a standalone package but is part of gnome-shell…

Just to be clear, I try to exclude the “Extensions” app.

[waffle8946]

There’s a general approach mentioned here to hide a desktop file - simply, set Hidden=1 on a higher-precedence package (via lib.hiPrio):

Make neovim wrapper .desktop optional

I doubt there are any conventions about this specific thing since it is such an obscure request. So the decision whether to accept a PR for this feature would fall to the maintainers of the package. Personally, I would consider the costs compared to benefits (with alternatives in mind) and reject it: Costs Added complexity to the package expression. People might disable the launcher not realizing that it would also break file associations. Benefits ¿One? user’s non-critical (purely cosmet…

(I’d use install -D rather than mkdir + cat, but same idea.)

[Mershl]

Thank you for your suggestion. The case of Extensions is a bit special though. gnome-shell will detect the used Extensions app by checking the availability of gnome-extensions-app and then extension-manager. It will then send all notifications related to extensions pointing to the first found Extensions app.

[waffle8946]

The same comment also mentioned NoDisplay.