Extensões Dev Home

Importante

O Dev Home irá embora em maio de 2025 e um subconjunto de seus recursos será movido para novos lugares. Fique atento para mais informações nos próximos meses.

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

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

Extensão Dev Home GitHub

A extensão Dev Home GitHub fornece integração do GitHub com os recursos existentes do Dev Home. Essas funcionalidades incluem a capacidade de recomendar repositórios para adicionar ao usar o Machine Configuration e a capacidade de adicionar widgets do Dev Home personalizados para exibir conteúdo do GitHub.

Para adicionar a extensão GitHub, selecione o separador Extensões no Dev Home e, em seguida, selecione Obter na extensão GitHub a partir da lista de extensões do Dev Home que está disponível na Microsoft Store.

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

Quer contribuir ou arquivar um problema nesta extensão? Consulte o repositório de extensão de código aberto GitHub para Dev Home.

Widgets Dev Home personalizados usando a extensão GitHub

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

• Problemas associados a um repositório GitHub específico
• Pull Requests (PRs) associados a um repositório GitHub específico
• Somente problemas atribuídos a você em um repositório GitHub específico
• Apenas questões ou pull requests em que foi mencionado
• RPs que têm um pedido para a sua revisão

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

A extensão Dev Home GitHub 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 suportado é quando as verificações falham em uma solicitação pull que foi criada pela conta que está conectada à extensão. As notificações podem ser desativadas nas configurações do Windows para notificações .

Extensão do Dev Home Azure

A extensão para o Azure Dev Home fornece integração do Azure DevOps (ADO) no painel do Dev Home e na ferramenta de configuração de da máquina. 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 no Dev Home e, em seguida, selecione Obter na extensão do Azure na lista de extensões do Dev Home Disponível na Microsoft Store.

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

Quer contribuir ou arquivar um problema nesta extensão? Consulte o repositório de código aberto da extensão Azure para o 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 contagem de itens por cada consulta
• Solicitações pull para um repositório ADO específico que são criadas por você, atribuídas a você ou atribuídas à sua equipe

Crie sua própria extensão personalizada do Dev Home

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 documentação sobre como começar.