Toen Gnome Shell in 2011 uitkwam, vond iedereen het verschrikkelijk. Een aantal jaren later is het een stuk beter en volwassener geworden. Zelfs Linus gebruikt het weer. Het kan nog beter: met extensies wordt het gebruik van Gnome Shell een stuk fijner.

Extensies installeren

Gnome Shell is de desktopomgeving van Gnome, de software die het dock, de vensters en de applicatielijst beheert. De shell van Gnome is erg minimalistisch: standaard bestaan de vensterknoppen alleen uit een sluitknop en ontbreken er een minimaliseer- en maximaliseerknop. Ook is er geen dock in beeld, dus het is niet eenvoudig om de actieve applicaties in te zien of van applicatie te wisselen. Bovendien is het systeemvak en de lijst met applicaties verborgen. Er is enkel een knop linksboven en wat iconen rechtsboven, waar je het dan mee moet doen. Met extensies kun je de functionaliteit van de shell sterk uitbreiden. Je vindt alle beschikbare Gnome Shell-extensies op de website. Om die extensies met een druk op de knop te installeren, heb je in je browser een extensie nodig. Voor Mozilla Firefox krijg je een melding met de vraag of de extensie GNOME Shell Integration uitgevoerd mag worden. Klik dan op Allow / Allow and remember. Krijg je die melding niet, dan kun je de extensie handmatig downloaden vanaf de add-onswebsite van Mozilla. Bij veel distributies zal die extensie al standaard meegeleverd en ingeschakeld zijn. Voor Google Chrome heb je deze extensie nodig. 

©PXimport

Als deze foutmelding na het toestaan nog in beeld verschijnt, vernieuw dan even de pagina. 

Handige extensies

De eerste, handige extensie voor Gnome Shell is Dash to Dock. Daarmee houd je het dock altijd in beeld of kun je het automatisch, slim verbergen als er ruimte nodig is voor een venster. Daardoor hoef je niets steeds met de muis naar de linkerbovenhoek te gaan. Je installeert een extensie door op de extensiepagina links de schakelaar om te zetten en daarna op Install te klikken. Een andere handige extensie is Drop Down Terminal. Daarmee heb je altijd snel toegang tot de opdrachtregel. Met een druk op de knop opent er zich dan van boven een terminal, zodat je eenvoudig een commando uit kunt voeren. Nog een handige extensie is TopIcons Plus. Standaard verbergt Gnome Shell linksonder alle pictogrammen van legacy software, die je vervolgens alleen kunt zien als je met de muis naar die hoek gaat. Met Topicons Plus zet je de pictogrammen weer terug waar ze vroeger waren: gewoon rechtsboven. Met de Places Status Indicator-extensie is het mogelijk om naast de knop Activiteiten een knop toe te voegen, zodat je snel toegang krijgt tot alle plekken op het systeem, zoals de map Documenten, Downloads en Muziek. Je kunt alle extensies overigens configureren met het programma GNOME Tweak Tool, dat bij ons op zowel Ubuntu als openSUSE standaard aanwezig is, waarna je naar het tabblad Extensions gaat.

©PXimport

Met de GNOME Tweak Tool kun je de geïnstalleerde extensies configureren.

©PXimport

Een extensie installeer je met een druk op de knop.

Streamingdienst SkyShowtime heeft een prijsverhoging aangekondigd: alle verschillende abonnementen gaan vanaf 24 februari in prijs omhoog.

Dat heeft het bedrijf afgelopen weekend aangekondigd. Zowel het standaard abonnement met als die zonder reclame gaat met een euro omhoog. De maandprijs van SkyShowtime met reclame gaat van 5,99 euro naar 6,99 euro. Het standaard abonnement zonder reclame gaat van 8,99 euro naar 9,99 euro per maand.

Dan is er nog het Premium-abonnement, dat kijkers content in een 4k-resolutie laat streamen: deze gaat van 11,99 euro naar 13,99 euro per maand. Overigens zijn er ook abonnees die levenslang vijftig procent korting blijven houden. Die korting blijft gelden, maar dan natuurlijk wel voor de nieuwe bedragen.

Over SkyShowtime

SkyShowtime - dat vooralsnog wel in Nederland, maar niet in België beschikbaar is - betreft een streamingdienst met films en series van Paramount+, Showtime, Sky en andere netwerken. Er zijn series als Dexter, The Office, Yellowjackets, Twin Peaks en 1993 op te zien. Qua films zijn er onder andere The Naked Gun, Wicked, Gladiator 2 en The Godfather op te vinden.

In Nederland hebben film- en serieliefhebbers de keuze uit diverse streamingdiensten, waaronder Apple TV, Amazon Prime Video, Disney+ en natuurlijk Netflix. Bijna alle streamingdiensten gooien de prijzen van hun abonnementen om de zoveel tijd omhoog.

Nintendo heeft gisteren tijdens een speciale Direct-livestream een nieuwe trailer getoond van de aankomende animatiefilm The Super Mario Galaxy Movie.

Het bedrijf liet afgelopen vrijdag al weten een Direct uit te zenden rondom de aankomende film, en afgelopen zondag was deze te zien. In de nieuwe trailer die werd vertoond is te zien hoe Mario en Luigi bij een soort omgekeerde piramide aankomen - een bouwwerk dat ook in het spel Super Mario Odyssey zat - en hoe ze hier vervolgens in gaan.

Daar maken ze kennis met Yoshi, een dinosaurus die al sinds Super Mario World deel uitmaakt van de Mario-spellen. Ook personages als Baby Mario, Baby Luigi en Birdo worden voor het eerst gespot.

Over The Super Mario Galaxy Movie

Nadat enkele jaren geleden de uiterst succesvolle animatiefilm The Super Mario Bros. Movie uitkwam - logischerwijs gebaseerd op de langlopende Mario-reeks van Nintendo - werkt het bedrijf samen met Illumination al enige tijd aan het vervolg, The Super Mario Galaxy Movie.

Net zoals The Super Mario Bros. Movie lijkt ook het vervolg elementen uit allerlei verschillende Mario-games te pakken, al gebruikt deze nieuwe film de insteek van de twee Super Mario Galaxy-games, waarin Mario het universum afreist.

Diverse acteurs uit de eerste film keren terug in dit vervolg. Mario en Luigi worden wederom ingesproken door Chris Pratt en Charlie Day, en Jack Black vertolkt wederom de stem van Bowser. Ook acteurs als Keegan-Michael Key en Anya Taylor-Joy keren terug. De stem van Bowser Jr. zal in deze film ingesproken worden door Benny Safdie - vooral bekend voor zijn regiewerk - en het personage Rosalina krijgt een stem via Oscar-winnares Brie Larson.

Nintendo heeft daarnaast aangekondigd dat The Super Mario Galaxy Movie wereldwijd - op sommige markten na - op 1 april dit jaar in première zal gaan. Eerst was sprake van 3 april, maar dit is dus naar voren gehaald. In Japan gaat de film pas later die maand in première.

Nintendo-films

Nintendo zet steeds meer in op het uitbrengen van films gebaseerd op IP van het bedrijf. Naast deze Mario-films werkt Nintendo ook aan een live-action verfilming van The Legend of Zelda-reeks, die in 2027 in de bioscoop zal draaien en daarna naar Netflix komt. Volgens geruchten gaat het bedrijf ook werken aan een spin-off-animatiefilm rondom Donkey Kong, die in de Mario-films wordt ingesproken door Seth Rogen.

Nintendo gaf onlangs in een gesprek met investeerders aan dat ze de verfilmingen niet maken om op korte termijn winst te maken, maar om de franchises van het bedrijf bij een nog groter publiek vanzelfsprekend te maken - wat op de lange termijn de games van het bedrijf nog populairder moet maken.