Extensões do Dev Home

Importante

O Dev Home desaparecerá em maio de 2025 e um subconjunto de seus recursos será movido para novos lugares. Fique atento para obter mais informações nos meses seguintes.

O Dev Home dá suporte a extensões padrão e personalizadas. Saiba mais sobre a extensão GitHub do Dev Home, como personalizar widgets e notificações do Git no painel do Dev Home e como criar sua própria extensão Dev Home.

No momento, a extensão do GitHub é a única extensão incluída no Dev Home por padrão, no entanto, novas extensões estão em desenvolvimento ativo.

Extensão do GitHub do Dev Home

A extensão GitHub do Dev Home fornece integração do GitHub aos recursos existentes do Dev Home. 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.

Ao entrar no GitHub usando a Extensão GitHub do Dev Home, suas credenciais do GitHub são adicionadas ao Gerenciador de Credenciais do . É assim que o Dev Home é capaz de acessar informações relevantes para sua conta do GitHub. Atualmente, o DevHome dá suporte apenas a uma única conta do GitHub. (Consulte o repositório Extensão de DevHome no GitHub para obter atualizações sobre como adicionar suporte para várias contas.)

Deseja contribuir ou registrar um problema nessa extensão? Consulte o repositório de extensão de software livre do GitHub para o Dev Home.

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

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

• Problemas associados a um repositório específico do GitHub
• PRs (solicitações de pull) associadas a um repositório específico do GitHub
• Somente problemas atribuídos a você em um repositório específico do GitHub
• 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 Dev Home GitHub

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

Extensão do Azure Dev Home

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 do ADO para consultas e solicitações de 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 ou registrar um problema nessa extensão? Consulte o repositório de extensão do Azure de software livre para Dev Home.

Personalizar widgets de extensão do Azure no Dev Home

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

• Resultados da consulta
• Blocos de consulta com contagens de itens por consulta
• Solicitações de pull 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 você 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.