Renommage d’un codespace

Dans cet article

Vous pouvez changer le nom d’affichage du codespace par celui de votre choix via GitHub.com ou GitHub CLI.

Tool navigation

À propos du renommage d’un codespace

Lorsque vous créez un codespace, un nom complet généré automatiquement lui est attribué. Si vous avez plusieurs codespaces, le nom complet vous permet de les différencier. Par exemple : literate space parakeet. Vous pouvez changer le nom complet de votre codespace.

Pour trouver le nom complet d’un codespace :

  • Dans GitHub Enterprise Cloud, affichez votre liste de codespaces sur https://github.com/codespaces.

    Capture d’écran d’une liste de trois codespaces sur la page https://github.com/codespaces. »

  • Dans l’application de bureau Visual Studio Code ou le client web VS Code, cliquez sur l’Explorateur distant. Le nom d’affichage est le deuxième élément de la liste. Par exemple : psychic chainsaw dans la capture d’écran ci-dessous.

    Capture d’écran de « Explorer distant » dans VS Code. Le nom complet du codespace, « psychic chainsaw », est mis en surbrillance avec un contour orange foncé.

    Remarque : Si l’Explorateur distant n’est pas affiché dans la barre d’activité :

    1. Accédez à la palette de commandes. Par exemple, en appuyant sur Maj+Commande+P (Mac)/Ctrl+Maj+P (Windows/Linux).
    2. Entrez : details.
    3. Cliquez sur Codespaces : Détails.

  • Dans une fenêtre de terminal sur votre ordinateur local, utilisez cette commande GitHub CLI : gh codespace list.

Noms de codespace permanents

En plus du nom complet, lorsque vous créez un codespace, un nom permanent lui est également attribué. Le nom est une combinaison de votre handle GitHub et du nom d’affichage généré automatiquement. Par exemple : octocat-literate-space-parakeet-mld5. Vous ne pouvez pas changer le nom permanent.

Pour trouver le nom permanent d’un codespace :

  • Dans GitHub Enterprise Cloud, le nom permanent s’affiche au sein d’une fenêtre indépendante quand vous pointez sur le nom d’affichage d’un codespace sur https://github.com/codespaces.

    Capture d’écran du pointeur de la souris positionné sur un nom complet et le nom du codespace correspondant affiché en bas de la page du navigateur.

  • Dans un codespace, utilisez cette commande dans le terminal : echo $CODESPACE_NAME.

  • Dans une fenêtre de terminal sur votre ordinateur local, utilisez cette commande GitHub CLI : gh codespace list.

Renommage d’un codespace

Le changement du nom complet d’un codespace peut être utile si vous avez plusieurs codespaces que vous utiliserez pendant une période prolongée. Un nom approprié vous permet d’identifier un codespace que vous utilisez dans un but précis.

Si vous avez installé l’GitHub CLI, vous pouvez l’utiliser avec GitHub Codespaces. Pour obtenir des instructions d’installation pour GitHub CLI, consultez le dépôt GitHub CLI.

Pour changer le nom d’affichage d’un codespace, utilisez la sous-commande gh codespace edit :

gh codespace edit -c PERMANENT-CODESPACE-NAME -d NEW-DISPLAY-NAME

Dans cet exemple, remplacez PERMANENT-CODESPACE-NAME par le nom permanent du codespace dont vous voulez changer le nom d’affichage. Remplacez NEW-DISPLAY-NAME par le nom d’affichage que vous voulez utiliser pour ce codespace.

Pour plus d’informations, consultez « Utilisation de GitHub Codespaces avec l’interface CLI de GitHub ».

Vous pouvez changer le nom d’affichage de votre codespace sur GitHub.com.

  1. Accédez à la page « Vos codespaces » sur github.com/codespaces.

    The current display name for each of your codespaces is displayed.

  2. Cliquez sur les points de suspension ( ... ) à droite de l’espace de code que vous souhaitez modifier.

  3. Cliquez sur Renommer.

  4. Dans l’invite, sous « Remplacer le nom d’affichage par... », tapez le nom d’affichage souhaité, puis cliquez sur OK.