How to remove folders in /org/gnome/shell/extensions in Ubuntu 24.04 or Gnome 46? After trying out some GNOME extensions, I decided to uninstall some of them via the Extension Manager GUI. I can see that their directories are indeed removed from ~/.local/share/gnome-shell/extens...

How to remove folders in /org/gnome/shell/extensions in Ubuntu 24.04 or Gnome 46? – askubuntu.com After trying out some GNOME extensions, I decided to uninstall some of them via the Extension Man...

#gnome #24.04 #gnome-shell-extension #dbus #dconf

Origin | Interest | Match

My DConf '24 talk, "Software as Investment" is online :) #dconf #dlang youtu.be/YBZ6JFrfuiM

I've searched and come up empty, so:

In #Debian / #Gnome, does anyone know of a way to make the app icons in the Activities menu *smaller*? I have #dconf installed as well as #ExtensionManager, but no luck there.

#Linux #OpenSource #FOSS #FLOSS

Original post on hear-me.social

Today I learned that if in #Ubuntu #Linux if you mess up your #dconf settings, maybe by clicking on the wrong thing in a #Gnome Extension (such as Just Perfection", which really isn't perfect because it doesn't prompt you before making changes that can't easily be reversed), AND if you have a […]

I’ve been sat watching talks at #dconf wondering: who is this DR untime ? And are they even a real doctor?