![Internet ne radi! Glavne web stranice su se pokvarile zbog nestanka oblaka](/f/4cca8e5e931903711eb0499f9608c97d.jpg?width=100&height=100)
Mali, ali koristan savjet za ljubitelje proširenja GNOME Shell -a.
Ovaj članak nije ažuriran više od godinu dana. Podaci u nastavku mogli bi biti zastarjeli.
Jeste li znali da GNOME Shell skriva zaista korisnu aplikaciju za konfiguraciju GNOME Extensions?
The gnome-shell-extension-prefs
uslužni program omogućuje vam konfiguriranje i podešavanje postavki vaših omiljenih proširenja GNOME bez morate otići na stranicu "Instalirana proširenja" u službena web stranica GNOME Extensions u kompatibilnom web pregledniku.
Pokrivajući nedavno ažuriranje Dash to Dock -a saznali smo da nisu svi znali da se postavke proširenja GNOME mogu lokalno prilagoditi. Alat je savršen za sve kojima je dosadno otvarati preglednik kad god žele isključiti ili uključiti proširenje ili jednostavno prilagoditi njegove postavke.
Kad kažem da je aplikacija skrivena, mislim na to da je nije lako otkriti. Ikona aplikacije za nju nećete pronaći u pregledu aktivnosti niti unos u izborniku za nju u nečemu poput Proširenje izbornika aplikacija. Bez da znate da postoji, vjerojatno ga uopće ne biste pronašli!
Za pokretanje alata za konfiguraciju otvorite novi prozor terminala (ili pritisnite Alt + F2) i pokrenite:
gnome-shell-extension-prefs
Za lakši pristup ubuduće možete upotrijebiti svoju omiljenu aplikaciju za uređivanje izbornika kako biste za nju stvorili prilagođeni unos pokretača.
No, ako ste lijeni poput mene, samo pokrenite uslužni program iz naredbenog retka, a zatim ga "zakačite" na svoje favorite u aplikaciji Dash to Dock:
Mali, ali koristan savjet za ljubitelje proširenja GNOME Shell -a.