Pentru a spune simplu, o extensie Shell GNOME (de asemenea Extensia GNOME) este orice fragment de cod care îmbunătățește și adaugă funcționalitățile desktop-ului GNOME. Gândiți-vă la asta ca la o extensie Google Chrome sau la supliment Firefox doar că este pentru
Extensiile GNOME pot fi folosite pentru a modifica aproape fiecare aspect al GNOME Desktop Environmentde exemplu. personalizarea comportamentului mouse-ului; și, de asemenea, pentru a afișa informații precum vremea, starea bateriei etc.
Există aproape un număr nelimitat de Extensii GNOME și cel mai convenabil mod de a le gestiona este prin popularul GNOME Tweak Tool, așa că trebuie să-l configurați dacă nu îl aveți deja instalat pe sistemul dvs. și îl puteți instala fie prin Software-ul dvs. Center sau terminalul dvs. folosind:
$ sudo apt install gnome-tweak-tool
Există 3 moduri de a folosi Extensiile GNOME:
- Instalează pachetul minim gratuit de extensii selectate pentru distribuția ta.
- Instalare în browserul dvs. web.
- Instalare manuală.
1. Instalare gratuită a pachetului minim
Aceasta se referă la setul minim de extensii pe care mai multe distribuții Linux îl pachet de obicei pentru utilizatorii lor și ultima dată când l-am verificat conținea 10 extensii. Instalați-le prin CLI folosind următoarea comandă:
$ sudo apt install gnome-shell-extensions
Odată ce instalarea este finalizată, repornițimașina dvs., lansați GNOME Tweak Tool , navigați la Extensions și faceți clic pentru a activa extensiile pe care doriți să le utilizați.
Activați extensiile Gnome
Dacă doriți mai multe extensii decât cele din pachetul minim, citiți mai departe.
2. Instalare în browserul dvs. web
Proiectul GNOME are un site web dedicat extensiilor sale Gnome și puteți instala și gestiona extensiile preferate direct din browser fără a fi nevoie pentru a utiliza GNOME Tweak Tool.
Extensii Gnome Shell
Cu toate acestea, va trebui să aveți un program de completare specific pentru browser și un conector nativ de gazdă instalat în sistemul dumneavoastră. Urmați oricare dintre aceste linkuri pentru a obține extensia de browser pentru Google Chrome, Firefox și/sau Opera.
În continuare, instalați conectorul nativ folosind următoarea comandă:
$ sudo apt install chrome-gnome-shell
Acum puteți deschide site-ul web de extensii GNOME unde puteți căuta, instala și activa extensiile preferate.
De asemenea, puteți configura extensii individuale făcând clic pe pictograma roată de lângă titlul acestora pe site sau prin GNOME Tweak Tool.
3. Instalare manuală
Să presupunem că sunteți offline și că trebuie să configurați o GNOME Extensie, cum procedați? Instalare manuală. Mergeți pe site-ul web pentru a descărca fișierul de extensie pe care îl veți extrage și muta în directorul dvs. ~/.local/share/gnome-shell/extensions.
În continuare, deschideți metadata.json fișier în interiorul acestuia și verificați valoarea uuid și asigurați-vă că este aceeași valoare cu numele folderului extensiei. Dacă nu este, redenumiți folderul cu valoarea uuid..
În continuare, reporniți Shell GNOME apăsând Alt+F2 și introducând r .
Reporniți GNOME Tweak Tool dacă rula deja și ar trebui să vedeți extensia nou instalată în secțiunea de extensii unde o puteți gestiona așa cum ați proceda în metodele enumerate anterior.
Dezinstalarea oricărei este la fel de ușoară ca și eliminarea acestora din extensiile instalate de pe site-ul web GNOME secțiune. Și dacă ați instalat manual extensiile, ștergeți fișierele din directorul dvs. ~/.local/share/gnome-shell/extensions.
Sunteți familiarizat cu metodele de instalare a Extensiile Shell GNOME? Spune-ne care este preferatul tău în secțiunea de comentarii de mai jos.