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
- Accédez à la page « Vos codespaces » sur https://github.com/codespaces.
- À droite du codespace que vous voulez arrêter, cliquez sur les points de suspension ( ... ).
- Cliquez sur Arrêter le 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.
gh codespace stop
- Ouvrez la VS Code Command Palette (Maj+Commande+P (Mac) / Ctrl+Maj+P (Windows/Linux)).
- Tapez
stop
et sélectionnez Codespaces : Arrêter le codespace dans la liste des options. - 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
-
Accédez à la page « Vos codespaces » sur https://github.com/codespaces.
-
Cliquez sur le nom du codespace que vous voulez redémarrer.
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
- Ouvrez la VS Code Command Palette (Maj+Commande+P (Mac) / Ctrl+Maj+P (Windows/Linux)).
- Tapez
connect
et sélectionnez Codespaces : Se connecter au codespace dans la liste des options. - 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.
-
Ouvrez l’application JetBrains Gateway.
-
Cliquez sur Se connecter à Codespaces .
-
Dans la liste « Vos codespaces », cliquez sur le codespace dans lequel vous souhaitez travailler.
-
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.
-
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.