Personnaliser votre codespace

  • 4 minutes

GitHub Codespaces est un environnement dédié dont vous pouvez disposer. Vous pouvez configurer vos dépôts avec un conteneur de développement pour définir leur environnement GitHub Codespaces par défaut et personnaliser votre expérience de développement dans tous vos codespaces avec des dotfiles et la synchronisation des paramètres.

Ce que vous pouvez personnaliser

Il existe de nombreuses façons de personnaliser votre codespace. Passons en revue chacune d’elles.

  • Synchronisation des paramètres : Vous pouvez synchroniser vos paramètres Visual Studio Code (VS Code) entre l’application de bureau et le client web VS Code.
  • Dotfiles : Vous pouvez utiliser un dépôt de dotfiles pour spécifier des scripts, des préférences d’interpréteur de commandes et d’autres configurations.
  • Renommer un codespace : quand vous créez un codespace, un nom d’affichage généré automatiquement lui est attribué. Si vous avez plusieurs codespaces, leur nom d’affichage vous permet de les différencier. Vous pouvez changer le nom d’affichage de votre codespace.
  • Changer d’interpréteur de commandes : Vous pouvez changer votre interpréteur de commandes dans un codespace pour conserver la configuration à laquelle vous êtes habitué. Lorsque vous travaillez dans un codespace, vous pouvez ouvrir une nouvelle fenêtre de terminal avec l’interpréteur de commandes de votre choix, changer votre interpréteur de commandes par défaut pour les nouvelles fenêtres de terminal ou installer un nouvel interpréteur de commandes. Vous pouvez également utiliser des dotfiles pour configurer votre interpréteur de commandes.
  • Changer de type de machine : Vous pouvez changer le type de machine qui exécute votre codespace, afin d’utiliser les ressources appropriées pour le travail que vous faites.
  • Définir l’éditeur par défaut : Vous pouvez définir votre éditeur par défaut pour les codespaces dans votre page de paramètres personnels. Définissez vos préférences d’éditeur de sorte que lorsque vous créez un codespace ou en ouvrez un existant, il s’ouvre dans votre éditeur par défaut.
    • Visual Studio Code (application de bureau)
    • Visual Studio Code (application cliente web)
    • Passerelle JetBrains pour ouvrir des codespaces dans un IDE JetBrains
    • JupyterLab : interface web de Project Jupyter
  • Définir la région par défaut : Vous pouvez définir votre région par défaut dans la page des paramètres du profil GitHub Codespaces pour personnaliser l’emplacement de vos données.
  • Définir le délai d’expiration : Un codespace cesse de s’exécuter à l’issue d’une période d’inactivité. Par défaut, cette période est de 30 minutes, mais vous pouvez spécifier un délai d’expiration par défaut plus ou moins long dans vos paramètres personnels sur GitHub. Le paramètre mis à jour s’applique à tous les codespaces que vous créez ou aux codespaces existants la prochaine fois que vous les démarrez.
  • Configurer la suppression automatique : Les codespaces inactifs sont automatiquement supprimés. Vous pouvez déterminer la durée pendant laquelle vos codespaces inactifs sont conservés, jusqu’à un maximum de 30 jours.

Des informations supplémentaires et des instructions pas à pas sur la personnalisation figurent dans l’unité Résumé située à la fin de ce module.

Ajouter des extensions ou des plug-ins à votre codespace

Vous pouvez ajouter des plug-ins et des extensions au sein d’un codespace pour personnaliser votre expérience dans JetBrains et VS Code.

Extensions de VS Code

Si vous travaillez sur vos codespaces dans l’application de bureau ou le client web VS Code, vous pouvez ajouter toutes les extensions dont vous avez besoin à partir de la Place de marché Visual Studio Code. Pour plus d’informations sur l’exécution des extensions dans GitHub Codespaces, reportez-vous à Prise en charge du développement à distance et de GitHub Codespaces dans la documentation de VS Code.

Si vous utilisez déjà VS Code, vous pouvez utiliser la fonctionnalité Synchronisation des paramètres pour synchroniser automatiquement les extensions, les paramètres, les thèmes et les raccourcis clavier entre votre instance locale et tous les codespaces que vous créez.

Plug-ins JetBrains

Si vous travaillez sur vos codespaces dans un IDE JetBrains, vous pouvez ajouter des plug-ins à partir de la Place de marché JetBrains.