Estensioni Dev Home

Importante

Dev Home si trasferirà a maggio 2025 e un subset delle sue funzionalità verrà spostato in nuovi luoghi. Resta aggiornato per ulteriori informazioni nei mesi seguenti.

Dev Home supporta estensioni predefinite e personalizzate. Altre informazioni sull'estensione GitHub Dev Home, su come personalizzare i widget e le notifiche Git nel dashboard di Dev Home e su come creare un'estensione Dev Home personalizzata.

L'estensione GitHub è attualmente l'unica estensione inclusa in Dev Home per impostazione predefinita, ma le nuove estensioni sono in fase di sviluppo attivo.

Estensione GitHub di Dev Home

L'estensione GitHub Dev Home offre l'integrazione di GitHub nelle funzionalità esistenti di Dev Home. Queste funzionalità includono la possibilità di consigliare i repository da aggiungere quando si usa il configurazione del computer e la possibilità di aggiungere widget Dev Home personalizzati per visualizzare il contenuto di GitHub.

Per aggiungere l'estensione GitHub, selezionare la scheda Estensioni in Dev Home e quindi selezionare Ottieni nell'estensione GitHub dall'elenco delle estensioni Dev Home Disponibile in Microsoft Store.

Quando accedete a GitHub con l'estensione Dev Home di GitHub, le vostre credenziali GitHub vengono aggiunte al Gestione credenziali. Questo è il modo in cui Dev Home è in grado di accedere alle informazioni rilevanti per l'account GitHub. Attualmente DevHome supporta solo un singolo account GitHub. Vedere il repository DevHome Extension in GitHub per gli aggiornamenti sull'aggiunta del supporto per più account.

Vuoi contribuire o segnalare un problema su questa estensione? Consulta il repository dell'estensione open source su GitHub per Dev Home.

Widget Dev Home personalizzati con l'estensione GitHub

L'estensione Dev Home GitHub supporta i widget che possono essere personalizzati e visualizzati nel dashboard di Dev Home. Questi widget possono essere visualizzati:

• Problemi associati a un repository GitHub specifico
• Pull Request (PR) associate a un repository GitHub specifico
• Solo i problemi assegnati all'utente in un repository GitHub specifico
• Solo problemi o richieste pull in cui sei stato menzionato
• PR con una richiesta di revisione

Notifiche con l'estensione GitHub Dev Home

L'estensione GitHub Dev Home ha la possibilità di inviare notifiche di Windows in base agli eventi GitHub. A partire dal momento, l'unico evento di notifica supportato è quando i controlli hanno esito negativo su una richiesta pull creata dall'account che ha eseguito l'accesso all'estensione. Le notifiche possono essere disabilitate dalle impostazioni di notifica di Windows .

Estensione Dev Home di Azure

L'estensione Dev Home di Azure offre l'integrazione di Azure DevOps (ADO) nel dashboard di Dev Home e nello strumento di configurazione del computer . L'estensione fornisce repository consigliati per clonare e aggiunge anche widget ADO per le query e le richieste pull.

Per aggiungere l'estensione Azure, selezionare la scheda Estensioni in Dev Home, quindi selezionare Ottieni per l'estensione Azure dall'elenco delle estensioni di Dev Home Disponibili nel Microsoft Store.

Se si è connessi a Windows con un account aziendale di Azure, l'estensione rileverà automaticamente l'account dopo l'installazione.

Vuoi contribuire o segnalare un problema su questa estensione? Consulta il repository di estensioni open source di Azure per Dev Home.

Personalizzare i widget delle estensioni di Azure in Dev Home

L'estensione Dev Home di Azure offre widget personalizzabili per il dashboard di Dev Home. Questi widget vengono visualizzati:

• Risultati delle query
• Riquadri di query con conteggi di elementi per ciascuna query
• Richieste pull per un repository ADO specifico creato dall'utente, assegnato all'utente o assegnato al team

Creare un'estensione Dev Home personalizzata

Se si è interessati a creare un'estensione personalizzata da usare con Dev Home, visitare il repository Dev Home in GitHub per trovare la documentazione su come iniziare.