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 actuelles, consultez la documentation anglaise.

Arrêt et démarrage d’un codespace

Dans cet article

Vous pouvez arrêter et démarrer votre codespace pour enregistrer des ressources et mettre le travail en pause.

Remarque : L’utilisation de GitHub Codespaces avec des IDE JetBrains est actuellement en version bêta publique et peut faire l’objet de modification.

À propos de l’arrêt et du démarrage d’un codespace

Vous pouvez, à tout moment, arrêter un codespace. Lorsque vous arrêtez un codespace, tous les processus en cours d’exécution sont arrêtés et l’historique de terminal est effacé. Ensuite, lorsque vous le redémarrez, toutes les modifications enregistrées dans votre codespace sont disponibles. Si vous n’arrêtez pas explicitement un codespace, il continue de s’exécuter jusqu’à son expiration au terme du délai d’inactivité. Pour plus d’informations, consultez « Cycle de vie d’un codespace ».

Seuls les codespaces exécutés entraînent des frais de processeur. Un codespace arrêté entraîne uniquement des coûts de stockage.

Vous pouvez arrêter et redémarrer un codespace pour appliquer des modifications. Par exemple, si vous modifiez le type d’ordinateur utilisé pour votre codespace, vous devez l’arrêter et le redémarrer pour que la modification prenne effet. Vous pouvez également arrêter votre codespace et choisir de le redémarrer ou de le supprimer en cas d’erreur ou d’événement inattendu.

Quel que soit l’emplacement à partir duquel vous avez créez vos codespaces ou y accédez, vous pouvez les voir et les gérer dans votre navigateur sur https://github.com/codespaces.

Arrêt d’un codespace

  1. Accédez à la page « Vos codespaces » sur https://github.com/codespaces.
  2. À droite du codespace que vous voulez arrêter, cliquez sur les points de suspension ( ... ).
  3. Cliquez sur Arrêter le codespace. Capture d’écran de l’option permettant d’arrêter un codespace

Pour en savoir plus sur GitHub CLI, consultez « À propos de GitHub CLI ».

Pour arrêter un codespace, utilisez la sous-commande gh codespace stop, puis choisissez le codespace à arrêter dans la liste affichée.

Shell
gh codespace stop
  1. Ouvrez la VS Code Command Palette (Maj+Commande+P (Mac) / Ctrl+Maj+P (Windows/Linux)).
  2. Tapez stop et sélectionnez Codespaces : Arrêter le codespace dans la liste des options.
  3. Dans la liste des codespaces, sélectionnez celui que vous voulez arrêter.

Vous pouvez arrêter un codespace à partir de la page « Vos codespaces » (consultez les instructions du navigateur web) ou à l’aide de GitHub CLI (consultez les instructions de l’interface CLI).

Redémarrage d’un codespace

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

  2. Cliquez sur le nom du codespace que vous voulez redémarrer.

    Capture d’écran des codespaces arrêtés

Quand vous redémarrez un codespace, vous pouvez choisir de l’ouvrir dans Visual Studio Code ou dans votre navigateur.

  • Pour redémarrer un codespace et l’ouvrir dans Visual Studio Code, utilisez la sous-commande gh codespace code, puis choisissez le codespace à redémarrer dans la liste affichée.

    Shell
    gh codespace code

  • Pour redémarrer un codespace et l’ouvrir dans votre navigateur, utilisez la sous-commande gh codespace open --web, puis choisissez le codespace à redémarrer dans la liste affichée.

    Shell
    gh codespace open --web
  1. Ouvrez la VS Code Command Palette (Maj+Commande+P (Mac) / Ctrl+Maj+P (Windows/Linux)).
  2. Tapez connect et sélectionnez Codespaces : Se connecter au codespace dans la liste des options.
  3. Dans la liste des codespaces, sélectionnez celui que vous voulez redémarrer.

Si vous avez défini JetBrains Gateway comme éditeur par défaut, celui-ci se lance automatiquement lorsque vous ouvrez un codespace à partir de GitHub.com.

Si JetBrains Gateway n’est pas votre éditeur par défaut, vous pouvez quand même ouvrir un codespace dans JetBrains en accédant à la page « Vos codespaces » sur github.com/codespaces et en cliquant sur les points de suspension (...) à droite du codespace que vous souhaitez ouvrir. Pour plus d’informations, consultez « Ouverture d’un codespace existant ».

Vous pouvez également ouvrir JetBrains Gateway et sélectionner un codespace existant, comme décrit dans la procédure suivante.

  1. Ouvrez l’application JetBrains Gateway.

  2. Cliquez sur Se connecter à Codespaces .

    Capture d’écran de la vue initiale de JetBrains Gateway

  3. Dans la liste « Vos codespaces », cliquez sur le codespace dans lequel vous souhaitez travailler.

    Capture d’écran de la liste de codespaces de JetBrains Gateway

  4. Dans la liste « IDE disponibles », cliquez sur l’IDE JetBrains que vous souhaitez utiliser. JetBrains Gateway se souviendra de votre choix la prochaine fois que vous vous connecterez à un codespace.

    Capture d’écran de la liste de codespaces de JetBrains Gateway

  5. Cliquez sur Connecter.

    Remarque : Si vous exécutez un pare-feu : la première fois que vous vous connectez à une ressource distante, vous pouvez être invité à autoriser JetBrains Gateway à communiquer sur votre réseau.

Pour aller plus loin