Mise en place de l'environnement
Forker le dépôt, lancer les conteneurs Docker, et les commandes Git/Docker du module.
Les instructions pour mettre en place votre environnement de développement pour le module PHP, ainsi que les principales commandes à utiliser tout au long du module.
Fork du dépôt Git
Pour les ateliers ou l'évaluation, vous aurez à « forker » un dépôt Git.
Astuce
Forker signifie créer une copie personnelle d'un dépôt GitHub sur votre propre compte, ce qui vous permet de modifier le projet sans affecter l'original.
Liens des dépôts à forker :
- Ateliers : https://github.com/AdrienGras/2025-coda-projects
- Évaluation : TBD
Pour forker un dépôt :
- Allez sur la page du dépôt GitHub que vous souhaitez forker.
- Cliquez sur le bouton « Fork » en haut à droite de la page.
- Sélectionnez votre compte GitHub comme destination pour le fork.
- Notez l'URL de votre dépôt GitHub.
- Rapportez-la dans le fichier suivant, dans l'onglet correspondant.
Fichier : Annuaire des dépôts Git
Ensuite, clonez le dépôt sur votre machine locale :
git clone <github-fork-url>Lancement des conteneurs Docker
Astuce
Les projets tournent tous sur les ports 80 et 443. Avant d'attaquer un projet, assurez-vous de bien stopper les conteneurs Docker des projets précédents pour éviter les conflits de ports.
Lancer les conteneurs
# déplacement dans votre repo GitHub
cd chemin/vers/le/dépôt
# déplacement dans le sous-dossier du projet
cd project
# lancement des conteneurs en arrière-plan
docker-compose up -dArrêter les conteneurs
cd chemin/vers/le/dépôt
cd project
# arrêt des conteneurs
docker-compose downPages qui ne se rafraîchissent pas (Windows)
Si vos pages ne se rafraîchissent pas sous Windows, vous devez changer la configuration Docker de ce projet :
- Allez dans le dossier du projet.
- Ouvrez le fichier
docker-compose.yml. - Dans la section
ports, vous devriez avoir des notations comme suit :
ports:
- "80:80" # HTTP
- "443:443" # HTTPS
- "443:443/udp" # HTTP/3- Changez les ports de gauche (ceux avant les
:) pour des ports libres sur votre machine, par exemple :
ports:
- "8080:80" # HTTP
- "444:443" # HTTPS
- "444:443/udp" # HTTP/3À savoir
Lorsque la documentation fait référence à http://localhost ou
https://localhost, utilisez les ports que vous avez configurés — par exemple
https://localhost:444.
Changer de projet
Vos conteneurs Docker doivent être arrêtés avant de changer de projet, pour éviter les conflits de ports. Chaque stack de conteneurs Docker est dédiée à un seul projet et doit être gérée séparément.
# Rendez-vous dans le dossier du projet précédent
cd chemin/vers/dépot/00X-project
# Arrêtez les conteneurs Docker du projet précédent
docker-compose down
# Rendez-vous dans le dossier du nouveau projet
cd ../0YY-new-project
# Lancez les conteneurs Docker du nouveau projet
docker-compose up -d --buildRappel — Git
| Commande | Rôle |
|---|---|
git clone <url-du-depot> | Cloner un dépôt depuis GitHub |
git add <fichier> | Ajouter un fichier au suivi |
git add . | Ajouter tous les fichiers modifiés |
git commit -m "message" | Valider les modifications avec un message descriptif |
git push | Envoyer les modifications vers le dépôt distant |
git pull | (projets en groupe) Récupérer les changements des autres membres |
Rappel — Docker
| Commande | Rôle |
|---|---|
docker-compose up -d | Lancer les conteneurs en arrière-plan |
docker-compose down | Arrêter les conteneurs |
docker compose exec <container> bash | Se connecter à un conteneur en cours d'exécution |