Dev Home-extensies

Belangrijk

Dev Home gaat in mei 2025 weg en er wordt een subset van de functies verplaatst naar nieuwe locaties. Blijf op de hoogte voor meer informatie in de volgende maanden.

Dev Home ondersteunt zowel standaard- als aangepaste extensies. Meer informatie over de Dev Home GitHub-extensie, het aanpassen van Git-widgets en -meldingen in het Dev Home-dashboard en het bouwen van uw eigen Dev Home-extensie.

De GitHub-extensie is momenteel de enige extensie die standaard is opgenomen in Dev Home, maar nieuwe extensies zijn actief in ontwikkeling.

Dev Home GitHub-extensie

De Dev Home GitHub-extensie biedt GitHub-integratie in de bestaande functies van Dev Home. Deze functies omvatten de mogelijkheid om opslagplaatsen aan te bevelen die moeten worden toegevoegd bij het gebruik van de Machine Configuration en de mogelijkheid om Dev Home-widgets toe te voegen die zijn aangepast om uw GitHub-inhoud weer te geven.

Als u de GitHub-extensie wilt toevoegen, selecteert u het tabblad Extensies in Dev Home en selecteert u vervolgens Get in de GitHub-extensie in de lijst met Dev Home-extensies Beschikbaar in de Microsoft Store.

Wanneer u zich aanmeldt bij GitHub met behulp van de GitHub-extensie dev home, worden uw GitHub-referenties toegevoegd aan de Credential Manager-. Dit is hoe Dev Home toegang heeft tot informatie die relevant is voor uw GitHub-account. DevHome ondersteunt momenteel slechts één GitHub-account. (Zie de opslagplaats DevHome-extensie op GitHub voor updates over het toevoegen van ondersteuning voor meerdere accounts.)

Wilt u bijdragen aan of een probleem indienen bij deze extensie? Zie de open source GitHub-extensieopslagplaats voor Dev Home.

Dev Home-widgets aangepast met behulp van de GitHub-extensie

De Dev Home GitHub-extensie voorziet in widgets die kunnen worden aangepast en weergegeven op het Dev Home-dashboard. Deze widgets kunnen het volgende weergeven:

• Problemen met betrekking tot een specifieke GitHub-opslagplaats
• Pull-aanvragen (PULL's) die zijn gekoppeld aan een specifieke GitHub-opslagplaats
• Alleen problemen die aan u zijn toegewezen in een specifieke GitHub-opslagplaats
• Alleen problemen of pull-aanvragen waarin u bent vermeld
• PULL's met een aanvraag voor uw beoordeling

Meldingen met behulp van de GitHub-extensie Dev Home

De Dev Home GitHub-extensie biedt de mogelijkheid om Windows-meldingen te verzenden op basis van GitHub-gebeurtenissen. Vanaf nu is de enige ondersteunde meldingsgebeurtenis wanneer controles mislukken op een pull-aanvraag die is gemaakt door het account dat is aangemeld bij de extensie. Meldingen kunnen worden uitgeschakeld vanuit de Instellingen voor Windows-meldingen.

Dev Home Azure-extensie

De Dev Home Azure-extensie biedt ADO-integratie (Azure DevOps) in het dashboard van Dev Home en hulpprogramma voor machineconfiguratie. De extensie biedt aanbevolen opslagplaatsen voor het klonen en voegt ook ADO-widgets toe voor query's en pull-aanvragen.

Als u de Azure-extensie wilt toevoegen, selecteert u het tabblad Extensions in Dev Home en selecteert u vervolgens Get in de Azure-extensie in de lijst met Dev Home-extensies Beschikbaar in de Microsoft Store.

Als u bent aangemeld bij Windows met een Azure-werkaccount, detecteert de extensie uw account automatisch na de installatie.

Wilt u bijdragen aan of een probleem indienen bij deze extensie? Zie de open source Azure-extensieopslagplaats voor Dev Home.

Azure-extensiewidgets aanpassen in Dev Home

De Dev Home Azure-extensie biedt aanpasbare widgets voor het Dev Home-dashboard. Deze widgets tonen:

• Queryresultaten
• Querytegels met aantal items per query
• Pull-aanvragen voor een specifieke ADO-opslagplaats die door u is gemaakt, aan u is toegewezen of aan uw team is toegewezen

Uw eigen aangepaste Dev Home-extensie bouwen

Als u geïnteresseerd bent in het bouwen van uw eigen extensie voor gebruik met Dev Home, gaat u naar de Dev Home-opslagplaats op GitHub voor documentatie over hoe u aan de slag kunt gaan.