Vous pouvez rouvrir vos codespaces actifs ou arrêtés sur GitHub, dans Visual Studio Code ou en utilisant GitHub CLI. Vous ne pouvez pas rouvrir un codespace qui a été supprimé. Consultez Présentation du cycle de vie des codespaces.
Vous pouvez voir tous vos codespaces dans la page « Vos codespaces » sur github.com/codespaces. À partir de cette page, vous pouvez :
- Ouvrez, arrêtez ou supprimez vos codespaces.
- Découvrez à qui appartient vos codespaces (et à qui ils peuvent être facturés) : votre compte personnel ou les organisations auxquelles vous appartenez. Consultez À propos de la facturation pour GitHub Codespaces.
- Consulter le type de machine, la taille et l’état de vos codespaces.
- Créez un codespace, soit en choisissant l’un des modèles GitHub, soit en cliquant sur Nouveau codespace. Consultez Création d’un codespace à partir d’un modèle et Création d’un codespace pour un dépôt.
- Empêcher la suppression automatique d’un codespace. Consultez Configuration de la suppression automatique de vos espaces de code.
Reprise d’un codespace à partir d’une page de dépôt
Vous pouvez rapidement reprendre un codespace lorsque vous affichez un référentiel sur GitHub.
-
Lorsque l’onglet Code de votre référentiel affiché sur GitHub, appuyez sur , (la touche virgule).
La page « Reprendre un codespace » s’affiche. Cela vous permet de reprendre le dernier codespace que vous avez utilisé pour la branche actuellement sélectionnée du dépôt ou, si vous visualisiez une demande de tirage, pour la branche de rubrique de la demande de tirage.
-
Cliquez sur Reprendre ce codespace.
Sinon, si vous souhaitez créer un codespace pour cette branche du dépôt, cliquez sur Créer un nouveau codespace.
Note
Si vous n’avez pas de codespace existant pour cette branche, la page est intitulée « Créer un codespace » et un bouton intitulé créer un codespace s’affiche.
Vous pouvez ajouter un signet à l’adresse de cette page si vous souhaitez y revenir rapidement pour reprendre votre codespace. Vous pouvez également utiliser l’adresse dans un lien pour offrir à d’autres personnes un moyen rapide de créer et de reprendre leurs propres codespaces pour ce dépôt.
Ouverture d’un codespace existant à partir de la page « Vos codespaces »
-
Dans le coin supérieur gauche de GitHub, sélectionnez , puis cliquez sur Codespaces pour accéder à la page « Vos codespaces » sur github.com/codespaces.
-
Pour ouvrir un codespace dans votre éditeur par défaut, cliquez sur le nom du codespace. Vous pouvez définir votre éditeur par défaut pour Codespaces dans la page de vos paramètres personnels. Consultez Définition de votre éditeur par défaut pour GitHub Codespaces.
Pour ouvrir le codespace dans un éditeur autre que votre éditeur par défaut :
- Cliquez sur les points de suspension ( ... ) à droite du codespace que vous souhaitez ouvrir.
- Cliquez sur Ouvrir dans.
- Cliquez sur Ouvrir dans APPLICATION.
Vous pouvez ouvrir le codespace dans :
- Votre navigateur
- Visual Studio Code
- JupyterLab
Si vous choisissez Visual Studio Code, vous devez vous assurer que vous avez installé l’application sélectionnée sur votre ordinateur local.
Si vous choisissez JupyterLab, l’application JupyterLab doit être installée dans le codespace. L’image conteneur de développeur par défaut comprend JupyterLab, donc les codespaces créés à partir de l’image par défaut ont toujours JupyterLab installé. Pour plus d’informations sur l’image par défaut, consultez Présentation des conteneurs de développement et le référentiel
devcontainers/images. Si vous n’utilisez pas l’image par défaut dans votre configuration de conteneur de développement, vous pouvez installer JupyterLab en ajoutant le composantghcr.io/devcontainers/features/pythonà votre fichierdevcontainer.json. Vous devez inclure l’option"installJupyterlab": true. Pour plus d'informations, voir le LISEZMOI de la fonctionnalitépython, dans le référentieldevcontainers/features.
Connexion à un codespace existant
Vous pouvez créer des liens vers vos codespaces existants. Cette fonction est utile si vous disposez d’un codespace longue durée auquel vous accédez fréquemment. Vous pouvez enregistrer le lien dans un emplacement de votre choix, en guise d’alternative à l’utilisation du lien sur https://github.com/codespaces.
Note
Vous ne pouvez ouvrir que vos propres codespaces. Si quelqu’un clique sur un lien vers l’un de vos codespaces, un message d’erreur 404 s’affiche.
Créez un lien à l’aide de l’un des modèles d’URL suivants. Dans ces URL, CODESPACE-NAME représente le nom unique et permanent du codespace, à l’instar de literate-space-parakeet-w5vg5ww5p793g7g9, et non le nom complet du codespace. Vous pouvez trouver le nom d’un codespace en copiant le lien vers le codespace de votre page https://github.com/codespaces, puis en extrayant le nom du codespace à partir de l’URL.
| Le lien s’ouvre dans | Syntaxe du lien |
|---|---|
| VS Code client web | https:/ |
| VS Code client web avec un espace de travail spécifié | https:/ |
| Visual Studio Code application de bureau | https:/ |
| JupyterLab | https:/ |
