Extensiones de Dev Home

Importante

A partir de mayo de 2025, Dev Home ya no se admitirá como una característica en Windows 11. Consulte Configuración avanzada de Windows para obtener información sobre la integración del control de versiones del Explorador de archivos, Sudo para Windows y otras características para desarrolladores próximamente.

Dev Home admite extensiones predeterminadas y personalizadas. Obtenga más información sobre la extensión de GitHub de Dev Home, cómo personalizar widgets y notificaciones de Git en el panel de Dev Home y cómo crear su propia extensión Dev Home.

La extensión de GitHub es actualmente la única extensión que se incluye con Dev Home de forma predeterminada, pero las nuevas extensiones están en desarrollo activo.

Extensión de GitHub de Dev Home

La extensión de GitHub de Dev Home proporciona integración de GitHub en las características existentes de Dev Home. Estas características incluyen la capacidad de recomendar repositorios para agregar al usar la Configuración de Máquina y la capacidad de agregar widgets de Dev Home personalizados para mostrar tu contenido de GitHub.

Para agregar la extensión de GitHub, seleccione la pestaña Extensiones en Dev Home y, a continuación, seleccione Obtener en la extensión de GitHub en la lista de extensiones de Dev Home Disponibles en Microsoft Store.

Al iniciar sesión en GitHub mediante la extensión Dev Home de GitHub, las credenciales de GitHub se agregan al Administrador de credenciales. Así es como Dev Home puede acceder a la información relevante para su cuenta de GitHub. Actualmente DevHome solo admite una sola cuenta de GitHub. (Consulte el Repositorio de extensión DevHome en GitHub para obtener actualizaciones sobre la incorporación de compatibilidad con varias cuentas).

¿Desea contribuir o presentar un problema en esta extensión? Consulte el repositorio de extensiones de GitHub de código abierto para Dev Home.

Widgets de Dev Home personalizados mediante la extensión de GitHub

La extensión Dev Home de GitHub potencia los widgets que se pueden personalizar y mostrar en el panel de Dev Home. Estos widgets pueden mostrar:

• Problemas asociados a un repositorio de GitHub específico
• Solicitudes de incorporación de cambios (RS) asociadas a un repositorio de GitHub específico
• Solo los problemas que se le asignan en un repositorio de GitHub específico
• Solo incidencias o solicitudes de extracción en las que te han mencionado
• Solicitudes de incorporación de cambios que tienen una solicitud de revisión

Notificaciones mediante la extensión Dev Home de GitHub

La extensión de GitHub de Dev Home tiene la capacidad de enviar notificaciones de Windows basadas en eventos de GitHub. A partir de ahora, el único evento de notificación admitido es cuando se produce un error en las comprobaciones en una solicitud de incorporación de cambios que ha creado la cuenta que ha iniciado sesión en la extensión. Las notificaciones se pueden deshabilitar desde la configuración de notificaciones de Windows.

Extensión Dev Home Azure

La extensión Dev Home Azure proporciona integración de Azure DevOps (ADO) en el panel y la herramienta de configuración de máquinas de Dev Home. La extensión proporciona repositorios recomendados para clonar y agrega widgets de ADO para consultas y pull requests.

Para agregar la extensión de Azure, seleccione la pestaña Extensiones en Dev Home y, a continuación, seleccione Obtener en la extensión de Azure en la lista de extensiones de Dev Home Disponibles en Microsoft Store.

Si ha iniciado sesión en Windows con una cuenta profesional de Azure, la extensión detectará automáticamente la cuenta después de la instalación.

¿Desea contribuir o presentar un problema en esta extensión? Consulte el repositorio de extensiones de Azure de código abierto para Dev Home.

Personalización de widgets de extensión de Azure en Dev Home

La extensión Dev Home Azure proporciona widgets personalizables para el panel de Dev Home. Estos widgets muestran:

• Resultados de la consulta
• Iconos de consulta con recuentos de elementos por consulta
• Solicitudes de cambios para un repositorio de ADO específico creadas por usted y asignadas a usted o a su equipo

Creación de su propia extensión personalizada de Dev Home

Si está interesado en crear su propia extensión para usarla con Dev Home, visite el repositorio de Dev Home en GitHub para encontrar documentación sobre cómo empezar.