Avant de demander au support de vous aider en cas de problème avec un codespace, vous devez connaître le nom permanent et l’ID (identificateur) du codespace. En outre, le support peut vous demander de partager certains journaux. Pour plus d’informations, consultez « Journaux GitHub Codespaces » et « À propos du support GitHub ».
Noms d’espace de code
Chaque codespace a deux noms : un nom complet, que vous pouvez modifier et un nom unique, permanent, que vous ne pouvez pas modifier. Sauf si vous créez un codespace avec la CLI GitHub CLI et spécifiez un nom d'affichage de votre choix, le nom d'affichage est généré automatiquement lorsque vous créez un codespace, composé de deux ou trois mots aléatoires, par exemple : literate space parakeet. Le nom permanent est une combinaison du nom complet initial, suivi de certains caractères aléatoires, par exemple : literate-space-parakeet-w5vg5ww5p793g7g9. Si vous modifiez le nom d'affichage, le nom permanent reste inchangé. Pour plus d’informations, consultez « Renommage d’un codespace ».
Vous devrez parfois connaître le nom permanent d’un codespace. Par exemple, lorsque vous utilisez des commandes GitHub CLI ou lorsque vous discutez d’un codespace particulier avec le support GitHub.
Pour trouver le nom permanent d’un codespace, effectuez l’une des opérations suivantes :
- Ouvrez l’espace de code dans le navigateur. Le sous-domaine de l’URL est le nom de l’espace de code. Par exemple :
https://obscure-space-engine-grx7rgg6qp43v9j5.github.devest l’URL de l’espace de codeobscure-space-engine-grx7rgg6qp43v9j5. - Si vous ne pouvez pas ouvrir un codespace, vous pouvez accéder au nom à partir de votre liste de codespaces à l’adresse https://github.com/codespaces. Cliquez avec le bouton droit sur le nom complet du codespace et sélectionnez l’option de votre navigateur pour copier l’adresse du lien. La dernière partie de l’URL que vous copiez est le nom permanent du codespace.
- Dans un codespace, utilisez cette commande dans le terminal :
echo $CODESPACE_NAME. - Si GitHub CLI est installé, localement ou dans un codespace, utilisez cette commande dans le terminal pour répertorier tous vos espaces de code :
gh codespace list.
Le nom permanent du codespace est également inclus dans la plupart des fichiers journaux. Par exemple, dans le journal de l’extension GitHub Codespaces, après fetching codespace ou Connecting to codespace, et dans le journal de la console du navigateur après clientUrl. Pour plus d’informations, consultez « Journaux GitHub Codespaces ».
ID d’espace de code
Chaque espace de code a également un ID (identificateur). Cette valeur n’est pas affichée par défaut dans Visual Studio Code. Vous devrez peut-être mettre à jour les paramètres de l’extension GitHub Codespaces avant de pouvoir accéder à l’ID.
-
Dans Visual Studio Code, version navigateur ou de bureau, dans la barre d’activité de gauche, cliquez sur Explorateur distant pour afficher les détails de l’espace de code.
Remarque
Si l'explorateur à distance n'est pas affiché dans la barre d'activité :
- Accédez à la palette de commandes. Par exemple, en appuyant sur Maj+Commande+P (Mac)/Ctrl+Maj+P (Windows/Linux).
- Entrez :
details. - Cliquez sur Codespaces : Détails.
-
Si la barre latérale comporte une section « Performances de l’espace de code », survolez l’ID de l’espace de code puis cliquez sur l’icône du presse-papiers afin de copier l’ID.
-
Si les informations ne s’affichent pas, cliquez sur , dans le coin inférieur gauche de la barre d’activité, et cliquez sur Paramètres.
-
Sous l’onglet Paramètres, recherchez « Performances », puis, sous « GitHub > Codespaces : Afficher l’Explorateur de performances », sélectionnez la case à cocher intitulée « Afficher la fenêtre de performance du Codespace dans l’Explorateur distant ».
