Wat zijn GNOME Shell-extensies?
GNOME Shell-extensies breiden, zoals de naam al doet vermoeden, de functionaliteit van het GNOME Shell-bureaublad uit. Ze werken enigszins vergelijkbaar met add-ons voor Chrome en Firefox. Een shell-extensie kan triviale dingen doen, zoals het verbergen van een pictogram in het systeemvak en een volwaardige app bieden op basis van native GNOME of API's van derden. Deze extensies zijn ontwikkeld door officiële GNOME-ontwikkelaars, distributiebeheerders en een aantal externe ontwikkelaars.
Browserintegratie-add-ons installeren
Om een GNOME Shell-extensie op uw systeem te installeren, moet u eerst een native connector-browser-add-on inschakelen die wordt aanbevolen door GNOME-ontwikkelaars. Zonder deze add-on kunt u geen extensies downloaden en installeren vanuit de officiële extensierepository die online beschikbaar is.
De officiële integratie-add-on voor de Chrome-browser kan in Ubuntu worden geïnstalleerd met behulp van de onderstaande opdracht:
$sudogeschiktinstallerenchrome-gnome-shell
U kunt deze add-on ook installeren vanaf Chrome webshop als het niet beschikbaar is in de repository van uw distributie.
GNOME Shell-integratie-add-on voor Firefox kan worden geïnstalleerd vanaf hier .
Nadat u de add-on met succes hebt geïnstalleerd, ziet u een nieuw GNOME-pootpictogram in uw browser wanneer u deze de volgende keer start.
Extensies installeren vanuit de Online Extension Store
Nu de browserintegratie is voltooid, bent u klaar om enkele extensies te installeren. Ga naar GNOME shell extensions repository beschikbaar hier om door een lijst met beschikbare extensies te bladeren. Standaard worden extensies voor alle GNOME Shell-versies weergegeven. U kunt op het vervolgkeuzemenu Alle versies klikken om de resultaten te verfijnen tot een specifieke versie van shell.
Voer de onderstaande opdracht uit om de GNOME-shellversie op uw systeem te controleren:
$kabouterschelp--versieOm een extensie te installeren, klikt u eerst op de naam om naar de gedetailleerde lijstpagina te gaan.
Klik op de pagina met extensiedetails op de aan/uit-schakelknop om de installatie te starten.
Klik op de knop Installeren wanneer daarom wordt gevraagd.
Dat is alles, de geselecteerde extensie is nu met succes op uw systeem geïnstalleerd. Voor sommige extensies moet u zich afmelden bij een actieve desktopsessie om te kunnen werken. Het is mogelijk om GNOME Shell opnieuw te laden door op de toets te drukken, de letter r in het zichtbare invoervak in te voeren en op de toets te drukken. Deze methode kan echter onverwacht gedrag, crashes en vastlopen op uw systeem veroorzaken. Dus de ideale oplossing zou zijn om al uw actieve apps te sluiten, uit te loggen en opnieuw in te loggen.
Extensies bijwerken, configureren en verwijderen uit de Online Extension Store
U kunt shell-extensies die op uw systeem zijn geïnstalleerd eenvoudig beheren vanuit de online winkel zelf. Ga naar de link Geïnstalleerde extensies in de bovenste balk om een lijst te zien van alle extensies die op uw systeem zijn geïnstalleerd. Van daaruit kunt u een extensie bijwerken (pictogram met pijl omhoog), configureren (sleutelpictogram) en verwijderen (kruispictogram).
Extensies synchroniseren met uw Google-account
U kunt geïnstalleerde shell-extensies synchroniseren met uw Google-account (alleen Chrome). Klik met de rechtermuisknop op het native connector-extensiepictogram op de bovenste balk van Chrome om toegang te krijgen tot de opties.
Schakel de optie Lijst met GNOME Shell-extensies synchroniseren in door het radiovak ervoor aan te vinken.
Extensies beheren met de Gnome Tweaks-app
Om gnome shell-extensies op uw bureaublad te configureren, in- en uit te schakelen, kunt u de gnome tweaks-app installeren door de onderstaande opdracht uit te voeren:
$sudogeschiktinstallerengnome-tweaksNa het installeren van de app start je de Tweaks-app vanuit de applicatiestarter. Klik op Extensies in de linkerzijbalk. Vanaf hier kunt u extensies schakelen en configureren. Deze methode werkt zelfs als u geen actieve internetverbinding heeft en u geen online webwinkel hoeft te gebruiken om extensies te beheren.
Extensies beheren met een verborgen app die niet zichtbaar is in App Launcher
Als u de onderstaande opdracht uitvoert, wordt een verborgen app gestart die is bedoeld voor extensiebeheer.
$gnome-shell-extensie-voorkeuren 
Deze methode werkt zelfs als je de tweaks-app niet hebt geïnstalleerd. Dit vereist ook geen actieve internetverbinding om te werken.
Extensies installeren zonder webgebaseerde winkel- en browserintegratie-add-ons
Tot nu toe hebben we gezien dat extensies kunnen worden geïnstalleerd en beheerd via de online webwinkel en dat ze ook kunnen worden geconfigureerd met offline desktop-apps. Het is echter mogelijk om de online webgebaseerde winkel- en browserintegratie-add-ons volledig te omzeilen.
U kunt de Ubuntu Software-appstore die standaard in Ubuntu wordt geleverd, gebruiken om GNOME-shellextensies te installeren. Start de Ubuntu Software-app vanuit de applicatiestarter en ga naar Add-ons > Shell Extensions. Het enige dat u hoeft te doen, is op de vermelding van een extensie klikken om naar de detailpagina te gaan en deze vanaf daar te installeren. Als u op Extensie-instellingen klikt, wordt ook de bovengenoemde app voor verborgen extensiebeheer gestart.
Conclusie
Het gebruik van GNOME-shellextensies is een goede manier om uw bureaublad uit te breiden met extra functionaliteit. Als u echter te veel extensies installeert, kan uw bureaublad langzamer worden en bestaat er altijd een risico dat een extensie die zich misdraagt, het hele bureaublad laat crashen. Net als bij elke andere app van derden, moet u ook variëren met het installeren van willekeurige extensies, omdat er altijd een verandering is in het binnendringen van een schadelijke app op uw systeem. Hoewel bijna alle extensies open source zijn, moet u ze alleen van bekende en vertrouwde bronnen installeren.