3 ms·
Huh, so extensions.gnome.org works now. The last few times I've looked for it, I've gotten a "permission denied" or other "no-such-website-here-yet" error. I on
by thristian 15y ago
Huh, so extensions.gnome.org works now. The last few times I've looked for it, I've gotten a "permission denied" or other "no-such-website-here-yet" error. I only knew it existed because I happened across the "Gnome Shell Integration" plugin in Firefox's plugin list.
For what it's worth, when I first tried out GNOME 3, I customised it the same way I customised GNOME 2: gconf-editor (and a little later, dconf-editor).