Skip to main content
Pour gagner du temps et mettre en place rapidement l’environnement de développement, nous proposons une autre version de la configuration de l’environnement de développement : GitHub Codespace.

Tutoriel de configuration

1

Créer un Codespace

Cliquez sur le bouton suivant pour créer un Codespace dans le cloud pour le développement de server-pro.Open in GitHub CodespacesIl est recommandé de choisir un type de machine d’au moins 4 cœurs. Pour un type de machine plus puissant, vous pouvez en faire la demande auprès de l’équipe de support officielle de GitHub en ouvrant un ticket ici.
2

Lancer le script de configuration

Vous devrez patienter le temps que le Codespace soit créé. Une fois que vous avez accès à votre terminal, exécutez la commande suivante :
Ce script (bin/setup) vous permet de configurer l’environnement de développement sur le dernier commit de la branche server-pro en un minimum de temps. Il peut ne pas convenir aux versions plus anciennes ou aux autres branches.Nous construisons chaque jour l’image Docker de développement avec GitHub Action.
3

Accéder à votre Launchpad

Passez à l’onglet des ports : vous verrez la liste des ports web disponibles. Cliquez sur celui portant le numéro 80. La page Launchpad devrait alors s’afficher.
Vous verrez :
4

Bon développement

C’est maintenant à vous de jouer ! Commencez à développer vos fonctionnalités. Vous devez exécuter la commande suivante pour activer l’affichage en temps réel :
bash
Dernière modification le 4 octobre 2026