Adrien Gras
Docs & cheatsheets

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 :

Pour forker un dépôt :

  1. Allez sur la page du dépôt GitHub que vous souhaitez forker.
  2. Cliquez sur le bouton « Fork » en haut à droite de la page.
  3. Sélectionnez votre compte GitHub comme destination pour le fork.
  4. Notez l'URL de votre dépôt GitHub.
  5. 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 -d

Arrêter les conteneurs

cd chemin/vers/le/dépôt
cd project

# arrêt des conteneurs
docker-compose down

Pages 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 :

  1. Allez dans le dossier du projet.
  2. Ouvrez le fichier docker-compose.yml.
  3. Dans la section ports, vous devriez avoir des notations comme suit :
ports:
  - "80:80" # HTTP
  - "443:443" # HTTPS
  - "443:443/udp" # HTTP/3
  1. 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 --build

Rappel — Git

CommandeRô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 pushEnvoyer les modifications vers le dépôt distant
git pull(projets en groupe) Récupérer les changements des autres membres

Rappel — Docker

CommandeRôle
docker-compose up -dLancer les conteneurs en arrière-plan
docker-compose downArrêter les conteneurs
docker compose exec <container> bashSe connecter à un conteneur en cours d'exécution

Sur cette page