The way for power using gnome is through extensions. But once you got used to the gnome philosophy, you find that you don’t have to fiddle with the UI that much.

▲

cosmic_cheese 4 days ago | parent | next [-]

Nice in theory, but my experience has been that extension devs burn out from having to update their extensions so often to keep them from breaking. There’s also some things that extensions can’t fix.

▲

skydhash 4 days ago | parent [-]

Don’t use private API then. While the public API is not stable, there’s few changes there.

	▲	cosmic_cheese 4 days ago \| parent [-]
		I don't know what falls under public and private API but across my GNOME installs over the years there are numerous extensions that've broken and been abandoned, which suggests that most of the things that people want to customize sit on the private side of the line.

▲

kevin_thibedeau 4 days ago | parent | prev [-]

The silly thing about Gnome extensions is that you have to configure them through a web browser rather than OS dialogs rendered with their own graphical toolkit.

	▲	skydhash 4 days ago \| parent [-]
		That is untrue! There’s a CLI for loading them, and a settings api. The web thing is just one of the distribution channel.