Estensioni Dev Home

Dev Home supporta estensioni predefinite e personalizzate. Maggiori 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 la 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, quindi selezionare Ottieni nell'estensione GitHub dall'elenco delle estensioni Dev Home disponibili in Microsoft Store.

Quando si accede a GitHub usando l'estensione GitHub Dev Home, le credenziali di GitHub vengono aggiunte a Gestione credenziali. Questo è il modo in cui Dev Home accede alle informazioni rilevanti per l'account GitHub. Attualmente, DevHome supporta solo un singolo account GitHub. (Vedere il Repository dell'estensione DevHome in GitHub per gli aggiornamenti sull'aggiunta del supporto per più account.

Si desidera contribuire a o inviare un problema in questa estensione? Vedere il repository di estensioni GitHub open source per Dev Home.

Widget Dev Home personalizzati con l'estensione GitHub

L'estensione GitHub Dev Home consente di personalizzare e visualizzare i widget nella Dashboard di Dev Home. Questi widget possono essere visualizzati:

• Problemi associati a un repository GitHub specifico
• Richieste pull (PR) associate a un repository GitHub specifico
• Solo i problemi assegnati all'utente in un repository GitHub specifico
• Solo problemi o richieste pull menzionate in
• 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. Al 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) nella dashboard 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 di Azure, selezionare la scheda Estensioni in Dev Home, quindi selezionare Ottieni nell'estensione di Azure dall'elenco delle estensioni di Dev HomeAvailable in the Microsoft Store.

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

Si desidera contribuire a o inviare un problema in questa estensione? Vedere il repository di estensioni di Azure open source per Dev Home.

Personalizzare i widget delle estensioni di Azure in Dev Home

L'estensione Dev Home di Azure offre widget personalizzabili per la dashboard di Dev Home. Vengono visualizzati questi widget:

• Risultati query
• Eseguire query sui riquadri con conteggi di elementi per 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 su GitHub per reperire la documentazione su come iniziare.