Logo Spiria

Dev Home facilite la vie des développeurs sur Windows 11

23 mai 2023.

Dev Home.

Dev Home. © Microsoft.

Microsoft veut faciliter la configuration et l’utilisation de machines de développement Windows. Un nouveau centre de contrôle Dev Home pour Windows 11, disponible en avant-première, offre la possibilité de configurer des environnements de développement pour des machines qui se connecteront à GitHub et aux dépôts pertinents, installeront des outils et des paquets, et bien plus encore. Dev Home utilise le gestionnaire de paquets Windows (winget) de Microsoft pour générer un fichier de configuration afin d’installer les applications, les outils et les paquets dont les développeurs ont besoin. Il permet également de configurer des environnements de développement dans le nuage à l’aide de Microsoft Dev Box et de GitHub Codespaces. “La vie d’un développeur implique de jongler constamment avec la configuration manuelle d’une machine de développement avec trop de clics, de multiples connexions à des outils,” admet Panos Panay, le chef de Windows. “Nous savons que ces perturbations peuvent avoir un impact significatif sur votre productivité”. Plus d’informations ici.

Autre information pour les développeurs : préparez-vous à voir débarquer GitHub Copilot dans Windows Terminal. Microsoft indique qu’elle expérimente aussi actuellement l’IA de GitHub Copilot dans d’autres outils de développement, comme son propre débogueur WinDbg.

YouTube, “Introducing Dev Home

The Verge, Tom Warren, “Microsoft’s new Dev Home makes it easy for developers to reinstall Windows apps.”

2023-05-23