Server v GitHub Codespaces, bez vlastního počítače
Přihlášení ke GitHubu, založení, uspání a probuzení a co se platí z kvóty.
Le Serveur peut tourner dans le cloud, dans un GitHub Codespace à côté du dépôt de votre choix. L'ordinateur n'a pas besoin d'être allumé ; le téléphone se connecte au Serveur qui tourne là-bas.
Ce qu'il vous faut
- Un compte GitHub et un dépôt dans lequel vous pouvez écrire.
- Un quota disponible pour GitHub Codespaces. La durée d'exécution compte sur votre quota selon les règles de GitHub.
- Connexion au fournisseur de l'agent (abonnement ou clé API), comme sur l'ordinateur.
Création
Dans Réglages → Codespaces, connectez-vous à GitHub, choisissez un dépôt et touchez Démarrer. L'appli écrit le fichier .devcontainer/coden/devcontainer.json dans le dépôt en un seul commit, enregistre un secret chiffré pour le Serveur et crée le Codespace. Le premier démarrage prend quelques minutes.
Mise en veille et réveil
Un Codespace se met en veille tout seul quand aucun téléphone n'est connecté depuis quatre minutes et que l'agent ne travaille pas. Un Codespace en veille ne consomme pas de quota. Pour le reprendre, touchez-le dans la liste et choisissez Juste réveiller ou Connecter ce téléphone. L'appli se connecte dès que le Serveur démarre.
Ce qui est commité et ce qui reste
Les changements que l'agent fait dans un Codespace restent dans ce Codespace. Tant que vous ne les commitez pas et ne les poussez pas dans le dépôt (commit et push), ils peuvent être perdus si vous supprimez le Codespace. Supprimer un Codespace est toujours un choix explicite, et l'appli vous le demande.
Oublier la connexion ne supprime pas le Codespace. Il reste sur votre compte GitHub jusqu'à ce que vous le supprimiez sur GitHub ou dans l'appli.
Ça a coincé ailleurs que ce qui est ici ? Écrivez à support@coden-app.com.