docker_TP/README.md
2024-03-17 11:33:43 +01:00

2.3 KiB

TP 1

TP 2

TP 4

Étape 1 : Créer deux dossiers : "web" et "nginx"

Étape 2 : Mettre le fichier index.php dans le dossier web et le fichier default.conf dans le dossier nginx

Étape 3 : Pour déployer le server REDIS il faut ajouter ceci dans le fichier docker-compose.yml

services:
	redis:
	    image: redis/redis-stack
	    ports:
	      - "6379:6379"
	    volumes:
	      - redis_data:/data
	    restart: always

Étape 4 : Pour déployer le server REDISINSIGHT il faut ajouter ceci dans le fichier docker-compose.yml

services:
	redisinsight:
	    image: redis/redisinsight
	    ports:
	      - "5540:5540"
	    restart: always
	    volumes:
	      - redisinsight_data:/db

⚠️ Attention ne pas oublier de mettre à la fin du ficher un bloc volumes

volumes:
  redis_data:
  redisinsight_data:

Étape 5 : Pour déployer le server PHP il faut ajouter ceci dans le fichier docker-compose.yml

services:
	php:
	    image: windok/php-redis
	    restart: always
	    volumes:
	      - ./web:/usr/share/nginx/html
	    environment:
	      NOM : "moguljak"
	      PRENOM : "tom"
	    deploy:
	      replicas: 2

Étape 6 : Pour déployer le server NGINX il faut ajouter ceci dans le fichier docker-compose.yml

services:
	nginx :
	    image: nginx
	    restart: always
	    ports:
	      - "80:80"
	      - "443:443"
	    volumes:
	      - ./web:/usr/share/nginx/html
	      - ./nginx:/etc/nginx/conf.d

Étape 6 : Pour initialiser la base de données deux méthodes s'offrent à nous. La première en se connectant directement au serveur REDIS et la deuxième en utilisant l'interface REDISINSIGHT.

  • Première solution

    • Démarrer docker avec la commande docker compose up -d
    • Effectuer la commande docker ps afin de lister tous conteneurs
    • Maintenant qu'on sait sur quel docker on veut se connecter (celui de REDIS) on peut effectuer la commande suivante nous permettant d'ouvrir un Shell directement dans le docker. docker exec -it tp4-redis-1 /bin/bash
    • Maintenant effectuer cette commande redis-cli elle va nous permettre de définir la clef
    • Et ensuite pour définir la clef on effectue set code 12345
    • Maintenant vous pouvez voir les changements en allant sur la page "http://localhost/index.php"
  • Deuxième solution

TP 5/6