Extensões do Dev Home

O Dev Home é compatível tanto com extensões padrão quanto personalizadas. Saiba mais sobre a extensão do GitHub no Dev Home, como personalizar widgets e notificações do Git no painel de controle da Dev Home e como criar sua própria extensão no Dev Home.

No momento, a extensão do GitHub é a única extensão incluída no Dev Home por padrão, mas novas extensões estão sendo desenvolvidas ativamente.

Extensão Dev Home do GitHub

A extensão do GitHub no Dev Home fornece uma integração do GitHub aos recursos do Dev Home já existentes. Esses recursos incluem a capacidade de recomendar os repositórios a serem adicionados ao usar a Configuração do Computador e de adicionar widgets personalizados do Dev Home para exibir seu conteúdo do GitHub.

Para adicionar a extensão do GitHub, selecione a guia Extensões no Dev Home e, em seguida, selecione Obter na extensão do GitHub da lista de extensões do Dev Home disponíveis na Microsoft Store.

Quando você entra no GitHub usando a Extensão do GitHub no Dev Home, suas credenciais do GitHub são adicionadas ao Gerenciador de Credenciais. É assim que o Dev Home consegue acessar as informações relevantes para a sua conta do GitHub. Atualmente, o DevHome oferece suporte a apenas uma única conta do GitHub. (Consulte o Repositório da extensão DevHome no GitHub para obter atualizações sobre como adicionar suporte para várias contas.)

Deseja contribuir para essa extensão ou notificar um problema? Consulte o repositório de extensões do GitHub para o Dev Home de código aberto.

Widgets do Dev Home personalizados usando a extensão do GitHub

A extensão do GitHub no Dev Home alimenta os widgets que podem ser personalizados e exibidos no painel de controle do Dev Home. Esses widgets podem exibir:

• Problemas associados a um repositório do GitHub específico
• Solicitações de Pull (PRs) associadas a um repositório do GitHub específico
• Somente problemas atribuídos a você em um repositório do GitHub específico
• Somente problemas ou solicitações de pull nos quais você foi mencionado
• PRs que têm uma solicitação para que você as revise

Notificações usando a extensão do GitHub no Dev Home

A extensão do GitHub no Dev Home tem a capacidade de enviar notificações do Windows com base em eventos do GitHub. Neste momento, o único evento de notificação com suporte ocorre quando as verificações falham em uma solicitação de pull que foi criada pela conta que está conectada à extensão. As notificações podem ser desabilitadas nas configurações de notificações do Windows.

Extensão Dev Home Azure

A extensão Dev Home Azure fornece integração do Azure DevOps (ADO) ao painel e à ferramenta de configuração de máquina do Dev Home. A extensão fornece repositórios recomendados para clonar e também adiciona widgets ADO para consultas e solicitações pull.

Para adicionar a extensão do Azure, selecione a guia Extensões na Página Inicial de Desenvolvimento e, em seguida, selecione Obter na extensão do Azure na lista de extensões Dev Home Disponíveis na Microsoft Store.

Se você estiver conectado ao Windows com uma conta corporativa do Azure, a extensão detectará automaticamente sua conta após a instalação.

Deseja contribuir para essa extensão ou notificar um problema? Consulte o repositório de extensão do Azure de software livre para Dev Home.

Personalizar widgets de extensão do Azure na Página Inicial de Desenvolvimento

A extensão Dev Home Azure fornece widgets personalizáveis para o painel Dev Home. Estes widgets exibem:

• Resultados da consulta
• Blocos de consulta com contagens de itens por consulta
• Receber solicitações para um repositório ADO específico criado por você, atribuído a você ou atribuído à sua equipe

Criar sua própria extensão Dev Home personalizada

Se estiver interessado em criar sua própria extensão para usar com o Dev Home, visite o repositório Dev Home no GitHub para encontrar a documentação sobre como começar.