Simpel gezegd, een GNOME-shellextensie (ook GNOME-extensie) is elk stuk code dat de functies van het GNOME-bureaublad verbetert en toevoegt. Zie het als een Google Chrome extensie of Firefox add-on alleen dat het voor uw Desktopomgeving
GNOME-extensies kunnen worden gebruikt om bijna elk aspect van de GNOME-bureaubladomgeving aan te passenbijv. muisgedrag aanpassen; en ook om informatie weer te geven zoals het weer, de batterijstatus, enz.
Er is een bijna onbeperkt aantal GNOME-extensies en de handigste manier om ze te beheren is via de populaire GNOME Tweak Tool dus je moet dat instellen als je het nog niet op je systeem hebt geïnstalleerd en je kunt het installeren via je Software Center of uw terminal met:
$ sudo apt install gnome-tweak-tool
Er zijn 3 manieren om GNOME-extensies: te gebruiken
- Installeer de gratis minimale bundel met extensies samengesteld voor je distro.
- Installatie in uw webbrowser.
- Handmatige installatie.
1. Installatie van gratis minimale bundel
Dit verwijst naar de minimale set extensies die verschillende Linux-distributies gewoonlijk voor hun gebruikers verpakken en de laatste keer dat ik het controleerde, bevatte het 10 extensies. Installeer ze via de CLI met de volgende opdracht:
$ sudo apt install gnome-shell-extensions
Zodra de installatie is voltooid, reboot uw machine, start u GNOME Tweak Tool , ga naar Extensies en klik om de extensies in te schakelen die u wilt gebruiken.
Gnome-extensies inschakelen
Als je meer extensies wilt dan die in de minimale bundel, lees dan verder.
2. Installatie in uw webbrowser
Het GNOME-project heeft een website gewijd aan de Gnome-extensies en u kunt gewenste extensies rechtstreeks vanuit uw browser installeren en beheren zonder dat u om GNOME Tweak Tool. te gebruiken
Gnome Shell-extensies
U moet echter een browserspecifieke add-on en een native host-connector op uw systeem hebben geïnstalleerd. Volg een van deze links om de browserextensie voor Google Chrome, Firefox en/of Opera te krijgen.
Installeer vervolgens de native connector met de volgende opdracht:
$ sudo apt install chrome-gnome-shell
U kunt nu de GNOME Extensions-website openen waar u uw favoriete extensies kunt zoeken, installeren en inschakelen.
U kunt ook individuele extensies configureren door op het tandwielpictogram naast hun titel op de website te klikken of via de GNOME Tweak Tool.
3. Handmatige installatie
Stel dat je offline bent en je moet een GNOME-extensie instellen, hoe doe je dat? Handmatige installatie. Ga naar de website om het extensiebestand te downloaden dat je gaat uitpakken en verplaats het naar je ~/.local/share/gnome-shell/extensions directory.
Open vervolgens metadata.json bestand erin en controleer op de waarde van uuid en zorg ervoor dat deze dezelfde waarde heeft als de naam van de extensiemap. Als dit niet het geval is, hernoem de map dan naar de waarde van uuid.
Start vervolgens de GNOME Shell opnieuw door op Alt+F2 te drukken en r in te voeren .
Herstart GNOME Tweak Tool als het al actief was en je de nieuw geïnstalleerde extensie zou moeten zien in het gedeelte met extensies waar je het kunt beheren zoals u zou doen bij de eerder vermelde methoden.
Het verwijderen van een GNOME-extensie is net zo eenvoudig als het verwijderen van de geïnstalleerde extensies van de GNOME-website sectie. En als u de extensies handmatig hebt geïnstalleerd, verwijdert u de bestanden uit uw ~/.local/share/gnome-shell/extensions directory.
Bent u bekend met de methoden voor het installeren van GNOME Shell-extensies? Vertel ons wat jouw favoriet is in de comments hieronder.