Hacker News new | ask | show | jobs
by nialv7 2210 days ago
You do understand that them being extensions means they are not part of GNOME.
1 comments
krastanov 2210 days ago
You picked the 4th stage but conveniently skipped all 3 tools that precede it. The Tweaks tool is a GUI that is a part of Gnome and it deals with the examples that OP raised.
link