Als je aan een softwareproject wilt bijdragen, dien je vaak eerst een volledige ontwikkelomgeving op te zetten op je computer. GitHub Codespaces neemt je dat uit handen: je zet eenvoudig een ontwikkelomgeving in de cloud op, met toegang vanaf elke computer. Zo weet je zeker dat je overal dezelfde configuratie hebt en onmiddellijk aan de slag kunt.

Als je meehelpt met de ontwikkeling van een of meer softwareprojecten, dan herken je zeker de uitdaging van altijd de juiste ontwikkeltools voorhanden te hebben. Het ene project werkt bijvoorbeeld met Python 3.12, terwijl het andere nog niet compatibel is met Python 3.12. En dan hebben we het nog niet over verschillen in versies van allerlei softwarebibliotheken. Bovendien vragen sommige projecten een nogal omslachtige of complexe installatie van de nodige ontwikkeltools.

Nu kun je als oplossing voor dit probleem deze hele ontwikkelomgeving per project waaraan je meewerkt met Docker in een container draaien. Die container draai je dan lokaal op je computer of in de cloud, waarmee je een consistente ontwikkelomgeving hebt. Je hoeft daardoor zelf niets meer te installeren of up-to-date te houden. Dit principe is uitgewerkt in een specificatie met instellingen voor zogenoemde ontwikkelcontainers, Development Containers, of kortweg devcontainers.

1 GitHub Codespaces

Voor projecten die hun broncode in een repository op GitHub publiceren, is het heel eenvoudig om een devcontainer in de cloud te gebruiken. GitHub biedt deze functionaliteit aan onder de naam GitHub Codespaces. Je start een devcontainer op de servers van GitHub en betaalt per uur dat je die draait en per gigabyte opslag die je gebruikt.

Standaard krijg je 15 GB opslag per maand gratis. Voor een dualcoresysteem geeft GitHub 60 uur gratis per maand weg, wat voor niet-professioneel gebruik zeker moet volstaan.

Verbinden met de codespace doe je of in je browser of in een code-editor, zoals Visual Studio Code. Je stopt een codespace eenvoudig wanneer je 'm niet meer nodig hebt en GitHub stopt ze ook automatisch na een half uur inactiviteit. Je data hierin blijven overigens behouden. Pas na dertig dagen inactiviteit verwijdert GitHub je codespace.

2 Codespace voor een repository

Als je een repository op GitHub in je browser bezoekt, zie je rechts boven de middelste kolom een groene knop Code. Klik je daarop, dan krijg je standaard in het eerste tabblad Local de url’s te zien om de code te ‘klonen’ met Git via https of ssh en de opdracht om hetzelfde te doen met het opdrachtregelprogramma GitHub CLI. Onderaan heb je ook een klassieke downloadlink naar een zip-bestand van de code. Zodra je de code op een van deze manieren op je computer hebt gedownload, sta je dus voor de taak om de ontwikkelomgeving hiervoor te installeren en te configureren.

Maar als je op het tweede tabblad onder Code klikt, met de naam Codespaces, kun je een nieuwe codespace voor de repository aanmaken. Je moet hiervoor wel een (gratis) GitHub-account hebben en ingelogd zijn. We laten in dit artikel zien hoe je een codespace aanmaakt en ermee werkt voor de repository Home Assistant Core. Open hier dus het tabblad Codespaces en klik op de groene knop Create codespace on dev. Die dev staat voor de standaard Git-branch van de repository.

3 Je eerste codespace

GitHub Codespaces maakt nu een codespace voor de repository op basis van de configuratie, doorgaans in de directory .devcontainer. Je krijgt nu een webgebaseerde versie van de code-editor Visual Studio Code in je browser te zien. Helemaal links staat een zijbalk met icoontjes voor de belangrijkste onderdelen van de code-editor, zoals de bestandsverkenner (die standaard open staat), de zoekfunctie en extensies.

Rechts vind je de editor, die standaard het README-bestand van de repository opent. Onderaan zie je de terminal, waarin in het begin een opdracht wordt uitgevoerd om de devcontainer te configureren en alle vereiste ontwikkeltools te installeren. Zodra dat is voltooid, toont de terminal een prompt met je GitHub-gebruikersnaam, de huidige directory en de Git-branch waarin je momenteel werkt, zoals dev. Met een klik op de drie horizontale lijnen linksboven kun je altijd het menu van Visual Studio Code openen.

4 Configuratie van de devcontainer

Als je wilt weten wat de devcontainer op de achtergrond precies opstart, open dan de configuratie. Die staat of in het bestand devcontainer.json in de directory .devcontainer, of in het bestand .devcontainer.json in de bovenste directory van het project. Dit is een JSON-bestand volgens de eerder in dit artikel genoemde specificatie.

In de configuratie vind je onder meer een verwijzing naar het Docker-bestand voor de container, en de opdrachten (vaak shellscripts) die worden uitgevoerd na het maken en starten van de container. Er staat ook in welke poorten de applicatie gebruikt.

Verder vind je in het configuratiebestand een lijst van extensies voor Visual Studio Code die automatisch worden geïnstalleerd bij het aanmaken van de codespace, evenals aangepaste instellingen voor de code-editor.

5 Werken in een codespace

Hoe werk je nu in zo’n codespace? De meeste projecten zijn zodanig geconfigureerd dat je in de zijbalk op het icoontje van het driehoekje met de kever (Run and Debug) kunt klikken en vervolgens bovenaan op het driehoekje (Run). Het programma start dan, met de wijzigingen die je eventueel in de code hebt aangebracht. In de terminal rechtsonder verschijnt de uitvoer van het programma, met eventuele foutmeldingen. Bovenaan in het midden staat een kleine balk met icoontjes om onder meer het programma te herstarten of te stoppen.

Als het gaat om een programma dat netwerkpoorten opent, krijg je deze te zien als je onderaan in plaats van het tabblad Terminal het tabblad Ports kiest. GitHub Codespaces stuurt deze poorten automatisch door naar een domein waarop je ze kunt bezoeken. Ctrl-klik in de lijst met poorten op een url bij de betreffende poort om ze te bezoeken. Mogelijk moet je de applicatie nog wel configureren om met een reverse proxy te werken.

6 Visual Studio Code

Voor wie liever niet in een browser werkt, biedt GitHub Codespaces nog andere mogelijkheden. Gebruik je bijvoorbeeld Microsofts code-editor Visual Studio Code op je computer, installeer daarin dan de extensie GitHub Codespaces. Dat doe je door in Visual Studio Code in de linkerzijbalk op het icoontje van de blokjes (Extensions) te klikken, dan te zoeken naar de extensie GitHub Codespaces en daarbij op Install te klikken.

Klik na de installatie in de zijbalk op het icoontje van het beeldscherm (Remote Explorer), klik bovenaan op het uitklapmenu en kies GitHub Codespaces. Klik daarna op de knop Sign in to GitHub en bevestig in de webpagina die in je browser wordt geopend dat je Visual Studio Code toegang tot je GitHub-account wilt geven. Je krijgt nu in de Remote Explorer al je codespaces te zien. Blijf er even met je muiscursor over hangen en klik dan op het icoontje van de stekker dat verschijnt om met de codespace te verbinden. Dit start de codespace ook op indien deze al is gestopt.

7 Codespaces in Visual Studio Code

Hoewel het in Visual Studio Code lijkt alsof je lokaal werkt, moet je je er goed van bewust zijn dat alle code die je ziet wanneer je met een codespace bent verbonden zich op GitHub Codespaces bevindt. Ook het uitvoeren van de code gebeurt in de cloud en niet op je eigen computer. Bovendien worden alle opdrachten die je in de terminal van Visual Studio Code intypt in de codespace uitgevoerd en niet op je eigen computer.

Om de verbinding met je codespace te verbreken, klik je links weer op het icoontje Remote Explorer en dan op het icoontje van de twee stekkers. Vanaf dat moment werk je weer op je lokale bestandssysteem met Visual Studio Code. Je kunt overigens in Remote Explorer wanneer je met je muiscursor over je codespace blijft hangen de codespace stoppen met een klik op het stopicoontje. Verwijderen kan ook: klik er met rechts op en kies dan Delete Codespace.

Interessant om ook te lezen: Kasm: experimenteren en veilig werken in een geïsoleerde omgeving

8 Op de opdrachtregel

GitHub heeft ook een opdrachtregelprogramma waarmee je in de terminal met je codespaces kunt werken. Volg de installatie-instructies van GitHub CLI en open een nieuw terminalvenster. Log in op je GitHub-account met de opdracht:

Volg de instructies en bevestig in je browser dat je GitHub CLI toegang wilt geven tot je GitHub-account.

Je kunt een lijst opvragen van je huidige codespaces met de opdracht:

Dit toont voor al je codespaces de naam, de repository, de branch en de toestand (actief of gestopt). Je kunt ook met ssh (Secure SHell) op een codespace inloggen. Voer daarvoor deze opdracht uit en selecteer de gewenste codespace uit de lijst:

Indien de codespace niet actief is, wordt deze eerst gestart. Dit werkt alleen als de codespace een ssh-server draait. Je kunt ook een codespace stoppen met deze opdracht (waarbij je achter de optie -c de naam van de codespace opneemt):

9 Standaard devcontainer

Ook voor repository’s die geen configuratie voor een devcontainer hebben, kun je een codespace starten. We illustreren dit met de repository Bluetooth Numbers Database van Nordic Semiconductor. Maak op dezelfde manier als in stap 2 een codespace met een klik op Create codespace on master. De standaardbranch is hier namelijk master.

Omdat de repository geen devcontainer heeft geconfigureerd, start GitHub Codespaces een virtuele machine op met een standaardimage van het besturingssysteem. Daarin zijn de nodige ontwikkeltools voor Python, Node.js, JavaScript, TypeScript, C++, Java, C#, F#, .NET Core, PHP, Go, Ruby en Conda geïnstalleerd. Voor de meeste repository’s kun je dus direct aan de slag om eraan te werken in de cloud.

10 Je eigen devcontainer definiëren

Voor je eigen projecten kun je ook zelf een devcontainer definiëren, waarmee je dan een codespace aanmaakt. De eenvoudigste manier daarvoor is dat je je repository in Visual Studio Code opent, lokaal of terwijl je in een codespace werkt. Doe je dat lokaal, dan moet je eerst de extensie Dev Containers in Visual Studio Code installeren.

Open het opdrachtpalet met Ctrl+Shift+P (of F1 in de browser) en zoek op dev container. Als je lokaal werkt, klik je op Dev Containers: Add Dev Container Configuration Files. Als je in een codespace werkt, klik je op Codespaces: Add Dev Container Configuration Files. Klik op Create a new configuration, waarna je een lijst met enkele voorgedefinieerde devcontainers krijgt. Klik op Show All Definitions om ze allemaal te bekijken. Nu kun je beginnen met typen om te filteren op de gewenste container. Voor een Python-project typ je bijvoorbeeld python, waarna je een van de Python-containers uit de lijst kiest of op het icoontje met de i klikt voor documentatie over de betreffende container.

11 Devcontainer aanmaken

We kiezen hier voor de devcontainer Python 3 devcontainers van het devcontainers-project. Als je erop klikt, kun je nog de versie kiezen. De standaardversie 3.12-bullseye draait Debian 11 (codenaam bullseye) met Python 3.12. Nadat je een keuze hebt gemaakt, kun je nog extra pakketten aanvinken om te installeren. Klik op OK, waarna Visual Studio Code een bestand devcontainer.json in de map .devcontainer aanmaakt.

Als je de repository lokaal in Visual Studio Code hebt geopend, krijg je de vraag om het project opnieuw te openen om het te ontwikkelen in een container. Daarvoor heb je Docker op je computer nodig. Heb je de repository in een codespace geopend, dan zal Visual Studio Code vragen om je container opnieuw te bouwen met de nieuwe configuratie. Klik dan op Rebuild now. Daarna draait je codespace niet meer het standaardimage, maar jouw gekozen image.

12 Aangepaste configuratie

Je kunt het configuratiebestand devcontainer.json nog uitgebreid aanpassen. Voor de documentatie van de mogelijkheden bezoek je het best de specificatie van Development Containers. Met forwardPorts kun je poorten waarop je programma luistert, forwarden naar lokale poorten op je computer. En met postCreateCommand definieer je welke opdrachten er na het aanmaken van de devcontainer moeten worden uitgevoerd. Hierin handel je bijvoorbeeld de installatie van Python-pakketten af die je project nodig heeft.

In customizations kun je instellingen voor een code-editor aanpassen. Voor Visual Studio Code stel je hier bijvoorbeeld in welke extensies je in de codespace wilt installeren. Maar ook instellingen voor de editor zelf zijn hier mogelijk, zoals welke formatter er voor code gebruikt wordt en of die automatisch wordt opgeroepen wanneer je bestanden opslaat.

Als we naar de specificaties van de Xiaomi Redmi Note 15 Pro Plus kijken en daar de prijs aan koppelen, dan lijkt het erop dat je veel voor een acceptabel bedrag krijgt. Maar is dit ook een praktische smartphone die gemakkelijk een dag doorkomt?

De Xiaomi Redmi Note 15 Pro Plus volgt moderne trends met een stevig ontwerp en platte zijkanten. De variant die wij testen (Mocha Brown) valt op door een achterkant van vegan leer, dat voor extra grip en een luxe gevoel zorgt. Zeker in vergelijking met de doorgaans glazen ruggen van concurrenten. Met 207 gram is hij niet zwaar, maar andere midrangers kunnen gemiddeld genomen lichter zijn. Verder is de IP69K-certificering indrukwekkend, waardoor het toestel bestand is tegen stof, water, hogedrukspuiten (!) én hoge watertemperaturen.

Het toestel is uitgerust met een fors 6,83-inch amoledpaneel dat vrijwel de hele voorkant vult. En met de hoge resolutie (1280 x 2772 pixels) en een verversingssnelheid van 120 Hz oogt alles scherp en vloeiend. Het display overtuigt verder met diepe zwartwaarden, felle kleuren en een indrukwekkende piekhelderheid van 3200 nits. Dit maakt het scherm goed afleesbaar in direct zonlicht. Dankzij de Gorilla Glass Victus 2-beschermlaag beschikt het apparaat tot slot over uitstekende bescherming tegen krassen en valschade.

©Wesley Akkerman

©Wesley Akkerman

©Wesley Akkerman

Vooral vlot en stabiel

Onder de motorkap vinden we de Snapdragon 7s Gen 4-chip, die zorgt voor een stabiele en vlotte gebruikservaring zonder haperingen. Als je de chipset door de benchmark-tools zou halen, legt hij het wellicht af tegen prijsgenoot Pixel 9a, maar toch doet het toestel het in de praktijk meer dan prima. Hij blijft koel en responsief, ook wanneer je gaat multitasken. Voor zware games is de Xiaomi Redmi 15 Pro Plus wat minder geschikt, en daar verandert de hoeveelheid werkgeheugen van 8 GB helaas niets aan. Dit is geen goede Android-gamemachine.

De ster van de show is de gigantische batterij van 6500 mAh, een capaciteit die we in dit prijssegment zelden zien. Bij intensief gebruik houdt het toestel het moeiteloos twee dagen vol, helemaal als je het gamen links laat liggen. Met de 100W-snellaadfunctie laad je hem in slechts 40 minuten helemaal vol, mits je de juiste (Xiaomi-)lader gebruikt. Draadloos opladen ontbreekt helaas, maar het enorme uithoudingsvermogen en de indrukwekkende laadsnelheid maken dat voor de meeste gebruikers meer dan goed.

Walkietalkiefunctie

De Xiaomi Redmi Note 15 Pro+ draait daarnaast op HyperOS 2.0, gebaseerd op Android 15. De interface voelt modern en vloeiend aan, met snelle animaties en met de inmiddels bekende AI-toevoegingen van Google (zoals Circle to Search). Hoewel Xiaomi vier jaar aan Android-updates belooft (wat netjes is voor deze prijsklasse), zul je na de eerste installatie wel even wat tijd willen besteden aan het verwijderen van de nodige vooraf geïnstalleerde bloatware-apps. Een unieke toevoeging is de nieuwe Offline Communication, waardoor je Xiaomi-toestel een soort walkietalkie wordt en gratis communiceert met andere Xiaomi's.

De eyecatcher achterop is de 200MP-hoofdcamera, die dankzij de grote sensor fijne en scherpe foto's met veel detail maakt. Een dedicated zoomlens ontbreekt, maar er zijn meer dan genoeg megapixels waardoor je prima digitaal kunt inzoomen (of croppen) zonder al te veel kwaliteitsverlies (tot 4x).

De 8MP-groothoeklens is helaas een minder sterk punt en presteert vooral bij weinig licht matig. Video-opnames zijn stabiel en zien er in 4K goed uit, al blijft de framerate beperkt tot 30 fps. Voor selfies is er een upgrade naar 32MP; dat resulteert in heldere portretten die ideaal zijn voor sociale media en videobellen.

Xiaomi Redmi Note 15 Pro Plus kopen?

De Xiaomi Redmi Note 15 Pro+ blinkt uit door zijn fenomenale batterijduur en razendsnelle oplaadtijden, waarmee hij z’n concurrenten achter zich laat. Hoewel de prestaties stabiel zijn en het toestel tegen een stootje kan, blijven de camera’s en de softwareondersteuning achter bij de top van dit segment. Gelukkig is dit wel een betrouwbaar apparaat voor intensieve gebruikers die media consumeren en duurzaamheid waarderen. Desondanks raden we toch aan even te wachten tot een prijsdaling, dan haal je pas echt een scherpe deal in huis.

Het Amerikaanse ministerie van Justitie gaat onderzoeken of Netflix een monopoliepositie krijgt wanneer het Warner Bros. daadwerkelijk overneemt.

Netflix en Warner Bros. hebben vorig jaar een overeenkomst gesloten waarbij eerstgenoemde streamingbedrijf het filmproductiebedrijf overneemt. Als dit doorgaat, zal Netflix de films van Warner Bros. in handen krijgen, alsmede concurrerende streamingdienst HBO Max.

The Wall Street Journal meldt nu dat het ministerie in gesprek is met concurrenten om er achter te komen of het bedrijf nu al concurrenten buitensluit of misbruik maakt van de prominente plek die het heeft binnen de maatschappij. Dit om er achter te komen of de overname van Warner Bros. door Netflix wel verantwoord is.

Onderzoek is gebruikelijk

Het is vrij gebruikelijk dat wanneer twee grote bedrijven uit vergelijkbare sectoren fuseren, of één bedrijf de ander overneemt, dit wordt getoetst door waakhonden waar de bedrijven vandaan komen. Het hoeft niet te betekenen dat de overname geblokkeerd wordt, maar het kan afhankelijk van de bevindingen wel een optie zijn.

Overigens onderzoekt het ministerie ook of het verantwoord is dat Paramount Warner Bros. overneemt. Ook Paramount wil dat namelijk doen, al lijken Netflix en Warner Bros. vooral met elkaar in zee te willen.

Onlangs gaf een topman bij Netflix onlangs al aan dat mensen die Netflix te duur zouden vinden worden mocht het gecombineerd worden met HBO, een simpele actie kunnen uitvoeren: hun abonnement met één klik opzeggen.