Lire en anglais

Partager via


Extensions Dev Home

Dev Home prend en charge les extensions par défaut et personnalisées. Découvrez plus en détail l’extension GitHub Dev Home, comment personnaliser les widgets et les notifications Git dans le tableau de bord Dev Home et comment créer votre propre extension Dev Home.

L’extension GitHub est actuellement la seule extension incluse dans Dev Home par défaut, mais de nouvelles extensions sont en plein développement.

Extension GitHub Dev Home

L’extension GitHub Dev Home fournit l’intégration de GitHub dans les fonctionnalités existantes de Dev Home. Ces fonctionnalités offrent la possibilité de recommander des dépôts à ajouter lors de l’utilisation de Machine Configuration et la possibilité d’ajouter des widgets Dev Home personnalisés pour afficher votre contenu GitHub.

Pour ajouter l’extension GitHub, sélectionnez l’onglet Extensions dans Dev Home, puis sélectionnez Obtenir sur l’extension GitHub dans la liste des extensions Dev Home Disponibles dans le Microsoft Store.

Capture d’écran de l’onglet Extensions de Windows Dev Home montrant le bouton Obtenir l’extension GitHub

Lorsque vous vous connectez à GitHub à l’aide de l’extension GitHub Dev Home, vos informations d’identification GitHub sont ajoutées au Gestionnaire d’informations d’identification. C’est ainsi que Dev Home peut accéder aux informations relatives à votre compte GitHub. Actuellement DevHome ne soutient qu’un seul compte GitHub. (Voir le Dépôt d’extension DevHome sur GitHub pour les mises à jour sur l’ajout du support de plusieurs comptes.)

Vous souhaitez apporter votre contribution ou signaler un problème sur cette extension ? Consultez le dépôt d’extensions GitHub pour Dev Home qui est en open source.

Widgets Dev Home personnalisés à l’aide de l’extension GitHub

L’extension GitHub Dev Home alimente des widgets qui peuvent être personnalisés et affichés dans le tableau de bord Dev Home. Ces widgets peuvent afficher les éléments suivants :

  • Problèmes associés à un dépôt GitHub spécifique
  • Demandes de tirage associées à un dépôt GitHub spécifique
  • Seulement les problèmes qui vous sont attribués dans un dépôt GitHub spécifique
  • Seuls les problèmes ou les demandes de tirage dans lesquels vous êtes mentionné
  • Demandes de tirage qui ont une demande de révision de votre part

Capture d’écran du tableau de bord Dev Home avec des widgets GitHub personnalisés

Notifications à l’aide de l’extension GitHub Dev Home

L’extension GitHub Dev Home a la capacité d’envoyer des notifications Windows basées sur des événements GitHub. À l’heure actuelle, le seul événement de notification pris en charge est lorsque les vérifications échouent sur une demande de tirage qui a été créée par le compte connecté à l’extension. Les notifications peuvent être désactivées à partir des paramètres de notification Windows.

Capture d’écran de la notification Windows d’échec de vérification déclenchée par l’extension GitHub de Dev Home

Extension Azure Dev Home

L’extension Azure Dev Home fournit l’intégration d’Azure DevOps (ADO) au tableau de bord de Dev Home et à l’outil de configuration de la machine. L’extension fournit des dépôts recommandés à cloner et ajoute également des widgets ADO pour les requêtes et les demandes de tirage.

Pour ajouter l’extension Azure, sélectionnez l’onglet Extensions dans Dev Home, puis Obtenir sur l'extension Azure dans la liste des extensions Dev Home Disponibles dans le Microsoft Store.

Si vous êtes connecté à Windows avec un compte professionnel Azure, l’extension détecte automatiquement votre compte après l’installation.

Vous souhaitez apporter votre contribution ou signaler un problème sur cette extension ? Consultez le dépôt d’extensions Azure pour Dev Home en open source.

Personnaliser des widgets d’extension Azure dans Dev Home

L’extension Azure Dev Home fournit des widgets personnalisables pour le tableau de bord de Dev Home. Ces widgets affichent les informations suivantes :

  • Résultats de la requête
  • Vignettes de requête contenant le nombre d’éléments par requête
  • Demandes de tirage correspondant à un dépôt ADO déterminé, qui sont créées par vous ou qui vous sont attribuées, à vous ou à votre équipe

Créer votre propre extension Dev Home personnalisée

Si vous souhaitez créer votre propre extension à utiliser avec Dev Home, consultez le dépôt Dev Home sur GitHub pour obtenir la documentation qui vous permettra de démarrer.