On Sat, Mar 28, 2020 at 11:55 AM Dario Lesca <d.lesca(a)solinos.it> wrote:
Fedora 32 beta:
Whit a default installation, it is no longer possible to open the
properties panel of the installed extensions.
Neither from the gnome shell extension site, nor from gnome-tweak and
nor from the command line is possible access to extension properties
The /usr/bin/gnome-shell-extension-prefs file is moved from package
gnome-shell into gnome-extensions-app
This package is not installed by default.
To resolve you must run:
sudo yum install gnome-extensions-app
IMHO: it's better to bind this package with some dependency to package
[lesca@dodo ~]$ rpm -qf /usr/bin/gnome-shell-extension-prefs
[lesca@localhost ~]$ rpm -qf /usr/bin/gnome-shell-extension-prefs
thanks for the notification. I started a discussion on the desktop list