Het goede (en waarschijnlijk het beste) aan Gnome Shell is dat je de functionaliteit ervan eenvoudig kunt uitbreiden met extensies en we hebben je al enkele van de beste in een vorig artikel getoond. Wat niet meteen voor de hand ligt, is hoe u uw geïnstalleerde extensies daadwerkelijk kunt bijwerken en hoe u op de hoogte kunt worden gesteld wanneer er updates zijn.

Als u extensies installeert via de pakketbeheerder van uw distributies, worden updates doorgegeven wanneer u het systeem bijwerkt. Voor degenen die extensies installeren via de GNOME Extensions-website, is er echter geen ingebouwde manier om meldingen te ontvangen wanneer er updates zijn voor de extensies die u hebt geïnstalleerd.

Dit probleem is opgelost door een andere extensie, Extension Update Notifier, te installeren die u eenvoudig informeert wanneer een update beschikbaar is voor een van uw geïnstalleerde extensies.

Zodra u het hebt geïnstalleerd, kunt u aanpassen hoe vaak het moet controleren op updates door de instellingen van de GNOME-tweaktool te starten.

Als u een extensie daadwerkelijk wilt bijwerken, gaat u naar de GNOME-extensiewebsite in een compatibele browser, zoals Firefox of GNOME Web (Epiphany), en klikt u op 'Geïnstalleerde extensies' in de navigatiebalk bovenaan.

U ziet een lijst met alle extensies die u op uw computer hebt geïnstalleerd en opties om ze in te schakelen, uit te schakelen, te configureren of te verwijderen naast elke extensie.

Als er updates beschikbaar zijn voor een extensie, heeft deze een groene knop ernaast. Klik op deze knop.

Klik ten slotte op "Installeren" om de update te downloaden en te installeren.

Afronden

Dat is alles wat er is om GNOME Shell-extensies te updaten. Ik had graag een meer intuïtieve manier gehad om alle extensies met één klik bij te werken, bijvoorbeeld via het GNOME Software Center, maar dit bestaat op dit moment niet.

Als je een betere manier kent om GNOME-extensies te updaten, vertel het ons dan in de comments hieronder.