How To Use the Hidden GNOME Shell Extensions Prefs App

Did you know that GNOME Shell hides a really useful GNOME Extensions configuration app? The gnome-shell-extension-prefs utility lets you configure and tweak preferences of your favourite GNOME extensions without needing to go to the ‘Installed Extensions’ page of the official GNOME Extensions website in a compatible web browser. Covering the recent Dash to Dock update we learned that not everyone knew that GNOME extension preferences […]