|
| From: | Jack Hill |
| Subject: | bug#35853: gnome-tweaks unable to manage gnome shell extentions |
| Date: | Tue, 21 May 2019 22:51:04 -0400 (EDT) |
| User-agent: | Alpine 2.20 (DEB 67 2015-01-07) |
Hello Guix,Today I noticed that gnome-tweaks in unable to manage gnome shell extensions. I have the gnome-shell-extensions package installed in my profile, but the extensions tab in tweaks says, "no extensions installed". However extensions are installed, and the two extensions I enabled previously continue to function.
Unfortunately, I don't know when it stopped working. The last time that I know it worked the gnome-tweaks package was called gnome-tweak-tool.
I tried running gnome-tweaks from a terminal, but that didn't show anything obvious.
Best, Jack
| [Prev in Thread] | Current Thread | [Next in Thread] |