| ▲ | kevin_thibedeau 4 days ago | |
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. | ||