De gratis en open-source GNOME-desktopomgeving heeft lang ondersteunde extensies, die uitbreiden naar wat de interface kan doen. Maar GNOME heeft jarenlang niet goed geholpen bij het vinden en installeren van deze extensies. Het proces omvatte het bezoeken van een website, het installeren van een Firefox-extensie en het kruisen van je vingers.
Nu is er een app die alle pijn uit het proces haalt. Extension Manager vereenvoudigt enorm de ervaring van het ontdekken, installeren en beheren van GNOME-extensies. Deze ene app kan het gebruik van GNOME-extensies tot een vreugdevolle ervaring maken.
Waar te downloaden Extension Manager
Je vindt Extension Manager op Flathub. Daar kun je de app downloaden met behulp van de Installeren knop of kopieer en plak de terminalopdracht.
GNOME Extension Manager is beschikbaar voor de meeste Linux-distributies als Flatpack. Maar als je nieuw bent bij Linux en op zoek bent naar de gemakkelijkste manier om een relatief grote GNOME-desktop te installeren, wil je misschien kijk eens naar Fedora Linux.
Merk op dat uw systeem Flatpak moet ondersteunen als u Extension Manager wilt installeren.
Downloaden:Extensiebeheerder
Zoeken naar nieuwe extensies
Om te zien welke extensies er zijn, start u de app en klikt u op de Bladeren tabblad. Er verschijnt een lijst met extensies, met een zoekbalk bovenaan de lijst. U kunt resultaten filteren op populariteit, aantal downloads, releasedatum of naam.
U kunt alleen extensies downloaden die expliciet uw versie van GNOME ondersteunen. Je kunt verwachten dat veel extensies niet werken in de eerste dagen na een nieuwe GNOME-uitgave, en velen hebben nooit de sprong gemaakt om de nieuwste update te ondersteunen. Als je met de bètaversies van GNOME speelt, kun je verwachten dat de meeste extensies niet beschikbaar zijn.
Klik in de resultatenlijst op de naam van een extensie die uw interesse wekt. Hiermee gaat u naar de pagina van de extensie. Daar ziet u een screenshot, een beschrijving, ondersteunde versies en gebruikersrecensies.
De ervaring is vergelijkbaar met het gebruik van GNOME-software op Linux of een app store op elk mobiel apparaat.
Klik op het blauwe om een extensie te installeren Installeren knop. Er verschijnt een pop-up waarin u wordt gevraagd de installatie van de extensie te bevestigen. Daarna gaat de verlenging meestal direct in.
Geïnstalleerde extensies op GNOME beheren
U kunt al uw extensies bekijken door terug te schakelen naar de Geïnstalleerd tabblad. Hier kunt u extensies in- en uitschakelen. Maar dat is slechts een deel van het verhaal.
Veel extensies worden geleverd met configuratie-opties. Wanneer dit het geval is, verschijnt er een instellingentandwiel naast de aan/uit-schakelaar. U kunt op dit tandwiel klikken om een instellingenvenster te openen.
Als u een upgrade uitvoert naar een nieuwe versie van GNOME, kan het zijn dat veel van uw geïnstalleerde extensies niet meer werken. Als ontwikkelaars de extensie niet hebben bijgewerkt om met de nieuwste release te werken, verschijnt er een rood pictogram naast het instellingenwiel.
Om een extensie te verwijderen, klikt u op de naam en tikt u vervolgens op het rode Verwijderen knop. Extension Manager zal binnen enkele seconden alle bestanden verwijderen die aan die specifieke extensie zijn gekoppeld.
Een App Store voor GNOME-extensies?
Zo voelt GNOME Extension Manager aan. Het maakt officieel geen deel uit van het GNOME-project, maar de software voelt wel als een eersteklas burger. Als je nog geen interesse hebt in GNOME-extensies, kan deze app er misschien een aansteken.
Weet u niet zeker welke extensies u op uw GNOME-bureaublad moet installeren om het uw eigen te maken? Maak je geen zorgen, want als het gaat om desktopaanpassing, zijn er verschillende onmisbare GNOME-extensies die geschikt zijn voor alle gebruikers.
