În următorul articol vom arunca o privire la Managerul de extensii. Aceasta este o aplicație neoficială care va permite utilizatorilor să caute și să instaleze extensii GNOME Shell de pe desktop. Toate fără a fi nevoie să folosiți browserul web, ca de obicei. Aplicația este construită pe GTK4 și libadwaita și este disponibilă pentru instalare din Flathub.
Astăzi, pe lângă faptul că permite utilizatorilor să caute și să instaleze extensii care se găsesc și pe extensions.gnome.org, acest instrument, de asemenea Ne va oferi posibilitatea de a activa sau dezactiva extensiile, de a arăta o listă de extensii instalate, de a accesa configurația acestora sau de a le dezinstala. Aplicația este încă destul de nouă, a avut prima lansare cu puțin timp în urmă, deși a primit deja o actualizare în care creatorul ei a adăugat câteva dintre lucrurile pe care utilizatorii le-au cerut.
Așa cum am spus, pentru prima sa actualizare majoră a caracteristicilor, instrumentul adaugă multe dintre funcțiile sugerate de oameni. Printre lucrurile care au fost incluse, putem găsi un comutator global de pornire/oprire (la fel ca instrumentul oficial) și o separare clară a extensiilor instalate de utilizator și a extensiilor instalate de sistem (aranjate alfabetic).
Caracteristici generale ale Extension Manager
- Aplicația ne va permite căutați extensii de pe extensions.gnome.org.
- din acest software putem instala extensiile, dacă trebuie să utilizați browserul web sau conectorul.
- Pe ecranul programului, putem activa și dezactiva extensiile, pe lângă faptul că putem să le dezinstalăm.
- În această ultimă versiune sunt afișate capturi de ecran ale extensiilor.
- Ne va permite adăugați traduceri la limba noastră.
- Noi vom avea temă întunecată și suport pentru înlocuirea schemei de culori a sistemului.
- Efectuează o verificare a compatibilității versiunii shell.
- Programul are și câteva comenzile rapide de la tastatură, deși în acest moment acestea nu contribuie prea mult.
- Ne va oferi posibilitatea sortați rezultatele căutării, chiar dacă arată doar primele 10 . Filtrele pentru sortarea rezultatelor căutării se bazează pe popularitate, starea curentă, descărcări sau nume. Acestea sunt aceleași opțiuni disponibile pe site-ul principal de extensii GNOME.
- Acum afișați separat extensiile de utilizator și de sistem.
- Această nouă versiune adaugă performanță și stabilitate mai bune decât versiunea anterioară.
- Extensiile neacceptate sunt acum semnalate în rezultate căutare.
- De asemenea, programul arată câteva detalii despre extensiile pe care le putem găsi. În plus, fiecare extensie include un link către pagina extensions.gnome.org.
Instalați Extension Manager pentru GNOME Shell pe Ubuntu
Creatorul indică faptul că utilizați pachetul Flatpak este modalitatea recomandată de a instala Extension Manager. Dacă utilizați Ubuntu 20.04 și încă nu aveți această tehnologie activată pe sistemul dvs., puteți continua Ghidul un coleg a scris pe acest blog despre asta.
Se poate instalați această aplicație deschiderea unui terminal (Ctrl+Alt+T) și executarea următoarei comenzi în el:
flatpak install flathub com.mattjakeman.ExtensionManager
După instalare, la porniți aplicația, este necesar doar să căutați lansatorul pe computerul nostru, deși aplicația poate fi pornită și prin deschiderea unui terminal (Ctrl+Alt+T) și executarea comenzii:
flatpak run com.mattjakeman.ExtensionManager
Extension Manager a fost tradus în mai multe limbi diferite. Mod implicit, programul ar trebui să respecte limba sistemului de la început. Cu toate acestea, poate fi necesar să faceți câțiva pași suplimentari pentru ca Flatpak să recunoască locația aleasă.
Comenzile care arată de la depozitul GitHub al proiectuluiar putea fi o soluție la această problemă. După aplicarea acestuia, Extension Manager ar trebui să respecte limba sistemului nostru.
dezinstalare
la eliminați această aplicație din echipa noastrăTot ce trebuie să faceți este să deschideți un terminal (Ctrl + Alt + T) și să executați comanda din acesta:
flatpak uninstall com.mattjakeman.ExtensionManager
Extension Manager este un software gratuit, open source și codul sursă poate fi găsit postat pe acesta Depozitul GitHub.