Situatie
Extensiile GNOME sunt incredibil de utile. Desigur, utilizarea multora dintre ele poate să nu fie cea mai bună soluție la problema dvs.Cu toate acestea, dacă vă bazați pe extensiile GNOME pentru a vă modifica fluxul de lucru pe desktop pe orice distribuție Linux, o opțiune convenabilă de a gestiona toate extensiile ar trebui să vă ajute să economisiți timp.
- Manager de extensii: o alternativă la „extensii”
Dacă aveți deja „Extensii” instalate este posibil să nu aveți motiv pentru a utiliza acest lucru.Cu toate acestea cu Extension Manager de Matt Jakeman obțineți o aplicație utilă pentru a activa/dezactiva, configura și instala/dezinstala cu ușurință noile extensii GNOME.
Nu mai trebuie să urmați metoda obișnuită pentru a instala extensii GNOME care implică o pagină web, un supliment de browser și multe altele.Oferă o filă separată pentru a căuta și a instala extensiile GNOME disponibile.
După cum puteți observa în captura de ecran de mai sus, nu trebuie să modificați numărul versiunii GNOME Shell și să vedeți dacă este acceptat. Această aplicație evidențiază direct dacă extensia este acceptată pe sistemul dvs.În plus, puteți explora mai multe despre o extensie când faceți click pe aceasta.
Solutie
- Instalați Extension Manager pe Linux
- Folosind depozitele oficiale, puteți instala cu ușurință managerul de extensii pe Ubuntu 22.04 LTS.
- Deci, îl puteți căuta în centrul de software sau îl puteți instala prin terminal folosind următoarea comandă:
sudo apt install gnome-shell-extension-manager
Leave A Comment?