unofficial mirror of bug-guix@gnu.org 
 help / color / mirror / code / Atom feed
* bug#35853: gnome-tweaks unable to manage gnome shell extentions
@ 2019-05-22  2:51 Jack Hill
  2019-05-24  2:22 ` Jack Hill
  2019-10-21  1:37 ` bug#35853: gnome-tweaks can now manage gnome-extentions Jack Hill
  0 siblings, 2 replies; 3+ messages in thread
From: Jack Hill @ 2019-05-22  2:51 UTC (permalink / raw)
  To: 35853

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2019-10-21  1:39 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-22  2:51 bug#35853: gnome-tweaks unable to manage gnome shell extentions Jack Hill
2019-05-24  2:22 ` Jack Hill
2019-10-21  1:37 ` bug#35853: gnome-tweaks can now manage gnome-extentions Jack Hill

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).