Re: Fedora 32: gnome-shell-extension-prefs is missing by default

2020-03-31 Thread Kamil Paral
On Sat, Mar 28, 2020 at 11:55 AM Dario Lesca 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 possib

Fedora 32: gnome-shell-extension-prefs is missing by default

2020-03-28 Thread Dario Lesca
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-ext