On Sat, Mar 28, 2020 at 11:55 AM Dario Lesca <d.lesca@xxxxxxxxxx> 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
gnome-shell-extension-common
Fedora 31:
[lesca@dodo ~]$ rpm -qf /usr/bin/gnome-shell-extension-prefs
gnome-shell-3.34.4-2.fc31.x86_64
Fedora 32:
[lesca@localhost ~]$ rpm -qf /usr/bin/gnome-shell-extension-prefs
gnome-extensions-app-3.36.0-4.fc32.x86_64
thanks for the notification. I started a discussion on the desktop list here:
Kamil
_______________________________________________ test mailing list -- test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to test-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/test@xxxxxxxxxxxxxxxxxxxxxxx
