kort: Dit is een gedetailleerde gids die laat zien hoe GNOME Shell extensies handmatig of eenvoudig te installeren via een browser.

tijdens het bespreken hoe thema ‘ s te installeren in Ubuntu 17.10, noemde ik kort GNOME Shell-extensie. Het werd gebruikt om gebruikersthema ‘ s in te schakelen. Vandaag zullen we een gedetailleerde blik werpen op GNOME Shell-extensies in Ubuntu 18.04 en hogere versies.

Ik kan de term GNOME extensies gebruiken in plaats van GNOME Shell extensies, maar beide hebben hier dezelfde betekenis.

Wat zijn Gnome Shell-extensies? Hoe GNOME Shell extensies te installeren? En hoe GNOME Shell-extensies te beheren en te verwijderen? Ik leg al deze vragen één voor één uit.

daarvoor, als je liever video, heb ik al deze gedemonstreerd op het FOSS YouTube kanaal. Ik raad je ten zeerste aan om je erop te abonneren voor meer Linux video ‘ s.

Wat is een GNOME Shell-extensie?

een GNOME Shell-extensie is eigenlijk een klein stukje code dat de mogelijkheden van GNOME desktop verbetert.

zie het als een add-on in uw browser. U kunt bijvoorbeeld een add-on in uw browser installeren om advertenties uit te schakelen. Deze add-on is ontwikkeld door een derde-partij Ontwikkelaar. Hoewel uw webbrowser het standaard niet biedt, verbetert het installeren van deze add-on de mogelijkheden van uw webbrowser.

Op dezelfde manier zijn GNOME Shell-extensies zoals die invoegtoepassingen en plug-ins van derden die u bovenop GNOME kunt installeren. Deze extensies zijn gemaakt om specifieke taken uit te voeren, zoals weergave weersomstandigheden, internet snelheid etc. Meestal kunt u ze openen in het bovenste paneel.

Er zijn ook GNOME-extensies die niet zichtbaar zijn op het bovenpaneel. Maar ze passen nog steeds GNOME ‘ s gedrag aan. Bijvoorbeeld, middelste muisknop kan worden gebruikt om een toepassing te sluiten met een dergelijke extensie.

GNOME Shell-extensies installeren

Nu u weet wat GNOME Shell-extensies zijn, laten we eens kijken hoe u ze kunt installeren. Er zijn drie manieren waarop u GNOME-extensies kunt gebruiken:

1. gebruik een minimale set extensies van Ubuntu (of uw Linux-distributie)
2. zoek en installeer extensies in uw webbrowser
3. Download en installeer handmatig extensies

voordat u leert hoe u GNOME Shell-extensies kunt gebruiken, moet u GNOME Tweak Tool installeren in Ubuntu of welke distributie u ook gebruikt. U kunt het vinden in het softwarecentrum. Als alternatief kunt u dit commando gebruiken:

sudo apt install gnome-tweaks

soms moet u ook de versie van GNOME Shell kennen die u gebruikt. Dit helpt bij het bepalen of een extensie compatibel is met uw systeem of niet. Je kunt het onderstaande commando gebruiken om het te vinden:

gnome-shell --version

Methode 1: gebruik gnome-shell-extensions package

Ubuntu (en verschillende andere Linux distributies zoals Fedora) zorg voor een pakket met een minimale set GNOME extensies. U hoeft zich geen zorgen te maken over de compatibiliteit hier als het wordt getest door uw Linux-distributie.

als je een no-brainer wilt, haal dan gewoon dit pakket en je hebt 8-10 GNOME extensies geà nstalleerd.

sudo apt install gnome-shell-extensions

u moet uw systeem herstarten (of misschien gewoon GNOME Shell herstarten, ik kan het me op dit moment niet herinneren). Daarna, start GNOME Tweaks en je zult een paar extensies geïnstalleerd vinden. U kunt gewoon schakelen de knop om te beginnen met behulp van een geïnstalleerde extensie.

Methode 2: GNOME Shell-extensies installeren vanuit een webbrowser

GNOME-project heeft een hele website gewijd aan extensies. Dat is het niet. U kunt uw extensies vinden, installeren en beheren op deze website zelf. Geen behoefte zelfs voor GNOME Tweaks tool.

maar om Extensies van een webbrowser te installeren, heb je twee dingen nodig: een browser add-on en een native host connector in je systeem.

Stap 1: Installeer browser add-on

wanneer u de GNOME Shell Extensions website bezoekt, ziet u een bericht als dit:

“om GNOME Shell extensies te beheren met behulp van deze site moet u GNOME Shell integratie installeren die bestaat uit twee delen: browser extensie en native host messaging applicatie.”

u kunt gewoon klikken op de voorgestelde add-on link door uw webbrowser. U kunt ze ook installeren vanaf de onderstaande link:

• voor Google Chrome, Chromium en Vivaldi: Chrome web store.
• voor Firefox: Mozilla Addons.
• Voor Opera: Opera Addons

Stap 2: native connector installeren

alleen het installeren van browser add-on zal u niet helpen. U ziet nog steeds een fout als:

” hoewel GNOME Shell-integratie-extensie draait, wordt de native host-connector niet gedetecteerd. Refereer documentatie voor instructies over het installeren van connector”

Dit komt omdat u de host connector nog niet hebt geïnstalleerd. Gebruik hiervoor het volgende commando:

sudo apt install chrome-gnome-shell

maak je geen zorgen over het voorvoegsel ‘chrome’ in de pakketnaam. Het heeft niets te maken met Chrome. U hoeft hier geen apart pakket voor Firefox of Opera te installeren.

Stap 3: GNOME Shell-extensies installeren in webbrowser

zodra u deze twee vereisten hebt voltooid, bent u helemaal klaar om te beginnen. Wanneer u nu naar GNOME Shell-extensie gaat, ziet u geen foutmelding.

Het is goed om de extensies te sorteren op GNOME Shell versie. Het is echter niet verplicht. Wat hier gebeurt is dat een ontwikkelaar maakt een extensie voor de huidige GNOME-versie. Over een jaar komen er nog twee GNOME-releases. Maar de ontwikkelaar had geen tijd om zijn/haar extensie te testen of bij te werken.

als gevolg hiervan zou u niet weten of die extensie compatibel is met uw systeem of niet. Het is mogelijk dat de extensie werkt prima, zelfs in de nieuwere GNOME Shell-versie, ondanks dat de extensie is jaren oud. Het is ook mogelijk dat de extensie niet werkt in de nieuwere Gnome Shell.

u kunt ook zoeken naar een extensie. Laten we zeggen dat u wilt installeren van een weer extensie. Zoek er gewoon naar en ga voor een van de zoekresultaten.

wanneer u de extensiepagina bezoekt, ziet u een schakelknop.

Klik erop en u wordt gevraagd of u deze extensie wilt installeren:

Uiteraard gaat u hier voor installeren. Zodra het is geà nstalleerd, zult u zien dat de schakelknop is nu aan en er is een instelling optie beschikbaar Naast het. U kunt de extensie configureren met de instellingsoptie. U kunt de extensie ook uitschakelen vanaf hier.

u kunt ook de instellingen configureren van een extensie die u hebt geïnstalleerd via de webbrowser in GNOME tweaks tool:

u kunt al uw geïnstalleerde extensies op de website zien onder de sectie geïnstalleerde extensies. U kunt ook de Extensies Verwijderen die u via de webbrowser hebt geïnstalleerd

een groot voordeel van het gebruik van de GNOME-extensies beheren website is dat u kunt zien of er een update beschikbaar is voor een extensie. U zult het niet krijgen in GNOME Tweaks of systeemupdate.

Methode 3: Installeer GNOME Shell extensies handmatig (voor tussenliggende tot gevorderde gebruikers)

Het is niet zo dat je altijd online hoeft te zijn om GNOME Shell extensies te installeren. U kunt de bestanden downloaden en later installeren, zonder internet.

Ga naar de GNOME Extensions-website en download de extensie met de nieuwste versie.

pak het gedownloade bestand uit. Kopieer de map naar~/.lokale map/share/gnome-shell/extensions. Ga naar uw Home directory en druk op Crl+H om verborgen mappen te tonen. Vinden .lokale map hier en van daar, kunt u uw pad tot extensies directory te vinden.

zodra u de bestanden in de juiste map hebt gekopieerd, gaat u erin en opent u metadata.JSON dossier. Zoek naar de waarde van uuid.

zorg ervoor dat de naam van de map van de extensie dezelfde is als de waarde van uuid in de metagegevens.JSON dossier. Indien niet, hernoem de map naar de waarde van deze uuid.

bijna daar! Herstart nu GNOME Shell. Druk op Alt + F2 en voer r in om GNOME Shell opnieuw te starten.

Herstart ook GNOME Tweaks tool. U zou de handmatig geïnstalleerde GNOME-extensie nu in de Tweak tool moeten zien. U kunt de nieuw geïnstalleerde extensie hier configureren of inschakelen.

en dat is alles wat je moet weten over het installeren van GNOME Shell extensies.

verwijder GNOME Shell-extensies

Het is volkomen begrijpelijk dat u een geïnstalleerde GNOME Shell-extensie wilt verwijderen.

als u het via een webbrowser hebt geïnstalleerd, kunt u naar de sectie geïnstalleerde extensies op de GNOME-website gaan en het daar verwijderen (zoals in een eerdere afbeelding).

Als u het handmatig hebt geïnstalleerd, kunt u het verwijderen door de extensiebestanden uit ~/te verwijderen.lokale map/share/gnome-shell/extensions.

Bonustip: word op de hoogte gebracht van GNOME Shell extensies updates

inmiddels heb je je gerealiseerd dat er geen manier is om te weten of er een update beschikbaar is voor een GNOME Shell extensie, behalve voor het bezoeken van de GNOME extensie website.

gelukkig voor u is er een GNOME Shell-extensie die u waarschuwt als er een update beschikbaar is voor een geïnstalleerde extensie. U kunt het verkrijgen via de onderstaande link:

hoe beheert u GNOME Shell-extensies?

Ik vind het nogal vreemd dat je de extensies niet via de systeemupdates kunt bijwerken. Het is alsof GNOME Shell-extensies niet eens deel uitmaken van het systeem.

Als u op zoek bent naar een aanbeveling, lees dan dit artikel over de beste GNOME-extensies. Deel tegelijkertijd je ervaring met GNOME Shell-extensies. Gebruik je ze vaak? Zo ja, welke zijn uw favoriet?