Věděli jste, že GNOME Shell skrývá opravdu užitečnou aplikaci pro konfiguraci rozšíření GNOME?
gnome-shell-extension-prefs nástroj vám umožňuje konfigurovat a vylepšovat předvolby vašich oblíbených rozšíření GNOME bez musíte přejít na stránku ‚Installed Extensions‘ na oficiálním webu GNOME Extensions v kompatibilním webovém prohlížeči.
V souvislosti s nedávnou aktualizací Dash to Dock jsme se dozvěděli, že ne každý věděl, že předvolby rozšíření GNOME lze vyladit lokálně. Tento nástroj je ideální pro každého, koho už nebaví otevírat prohlížeč, kdykoli chtějí vypnout nebo zapnout rozšíření nebo jednoduše upravit jeho předvolby.
Když teď řeknu, že aplikace je skrytá, myslím tím, že není snadno zjistitelná. V Přehledu aktivit pro něj nenajdete ikonu aplikace ani pro něj položku nabídky v něčem, jako je rozšíření Nabídka aplikací. Bez znalosti jeho existence byste jej pravděpodobně vůbec nenašli!
Chcete-li spustit konfigurační nástroj, otevřete nové okno terminálu (nebo stiskněte Alt + F2) a spusťte:
gnome-shell-extension-prefs
Abyste k němu v budoucnu měli snazší přístup, mohli byste použít svou oblíbenou aplikaci pro úpravu nabídek a vytvořit pro ni vlastní spouštěcí položku.
Ale pokud jste líní jako já, spusťte nástroj z příkazového řádku a poté jej „připněte“ mezi oblíbené položky v aplikaci Dash to Dock:
Malý, ale užitečný tip pro nadšence rozšíření GNOME Shell.