Skip to main content
Nous publions des mises à jour fréquentes de notre documentation, et la traduction de cette page peut encore être en cours. Pour obtenir les informations les plus récentes, veuillez consulter la Documentation en anglais.
 

 

Renommage d’un codespace

Contenu de cet article

Vous pouvez utiliser GitHub CLI pour remplacer le nom complet du codespace par un nom de votre choix.

GitHub Codespaces est disponible pour les organisations utilisant GitHub Team ou GitHub Enterprise Cloud. GitHub Codespaces est également disponible comme version bêta limitée pour les utilisateurs individuels dans les plans GitHub Free et GitHub Pro. Pour plus d’informations, consultez « Produits de GitHub ».

À propos du renommage d’un codespace

À chaque codespace est attribué un nom complet généré automatiquement. 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, affichez votre liste de codespaces sur https://github.com/codespaces.

    Capture d’écran de la liste des codespaces dans GitHub

  • Dans l’application de bureau Visual Studio Code ou le client web VS Code, cliquez sur l’Explorateur distant. Le nom complet est affiché sous le nom du dépôt. Par exemple : symmetrical space telegram dans la capture d’écran ci-dessous.

    Capture d’écran de l’Explorateur distant dans VS Code

    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 : codespaces.
    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 descripteur GitHub, du nom du dépôt et de caractères aléatoires. Par exemple : octocat-myrepo-gmc7. Vous ne pouvez pas changer ce nom.

Pour trouver le nom permanent d’un codespace :

  • Dans GitHub, le nom permanent s’affiche dans une fenêtre contextuelle lorsque vous pointez sur l’option Ouvrir dans le navigateur sur https://github.com/codespaces.

    Capture d’écran du nom du codespace affiché lorsque vous pointez dessus

  • 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. Vous pouvez changer le nom complet de votre codespace en utilisant GitHub CLI.

Pour renommer 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 GitHub CLI ».