HuguesdeF commited on
Commit
0d3ae85
1 Parent(s): 1c84be5

Added readme and updated Dockerfile

Browse files
Files changed (2) hide show
  1. Dockerfile +1 -1
  2. README.md +28 -1
Dockerfile CHANGED
@@ -16,4 +16,4 @@ RUN echo $(ls -1 .. )
16
 
17
  RUN pip3 install -r requirements.txt
18
 
19
- ENTRYPOINT ["streamlit", "run", "Corriger.py", "--server.port=7860"]
 
16
 
17
  RUN pip3 install -r requirements.txt
18
 
19
+ ENTRYPOINT ["streamlit", "run", "Corriger.py", "--server.port=8501", "--server.address=0.0.0.0"]
README.md CHANGED
@@ -7,6 +7,33 @@ sdk: docker
7
  pinned: false
8
  license: apache-2.0
9
  ---
 
10
 
11
- Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
12
 
 
7
  pinned: false
8
  license: apache-2.0
9
  ---
10
+ # Moulinette Seguin Moreau
11
 
12
+ ## Installation Windows
13
+
14
+ L'installation Windows de la Moulinette à logos passe par la création d'un conteneur virtuel, appelé "image Docker".
15
+ Il fonctionne comme une petite machine virtuelle. Afin de s'en servir, il faut donc 1/Construire cette image virtuelle et 2/L'exécuter.
16
+
17
+ Pour installer la Moulinette sur Windows, voici la procédure:
18
+ * Installer docker desktop: https://www.docker.com/products/docker-desktop/
19
+ * Ouvrir Docker Desktop. Se rendre dans les paramètres/général, puis cliquer sur "Start Docker Desktop when you log in", ce qui ouvrira automatiquement Docker au démarrage de l'ordinateur.
20
+ * Ouvrir une invite de commande Windows, en cherchant "Run" dans la barre de recherche, puis tapper "cmd" dans la fenêtre Run.
21
+ * Se rendre, depuis l'invite de commande dans le dossier contenant le code (Et donc ce fichier readme !). Pour aller dans un dossier utiliser la commande "cd".
22
+ * Vérifier que docker est maintenant accessible, après l'installation précédente, en tapant: ```docker -v``` qui doit donner la version de Docker installée.
23
+ * Entrer la commande:
24
+ ```
25
+ docker build . -t moulinette
26
+ ```
27
+ S'assurer que le build s'est bien passé en tapant ```docker images``` qui liste toutes les images Docker présentes sur l'ordinateur.
28
+ Une image doit s'appeller "moulinette".
29
+
30
+ * Puis, une fois le "build" realisé, entrer la commande:
31
+ ```
32
+ docker run -d --restart unless-stopped -p 8501:8501 moulinette
33
+ ```
34
+ Cette commande exécute (docker run) l'image docker "moulinette", aiguille le port du docker 8501 vers le port de la machine hôte 8501 (avec le -p),
35
+ et relance l'image docker au démarrage de l'ordinateur (--restart). Enfin le -d indique de lancer l'exécution en mode "détaché", c'est-à-dire en tâche de fond.
36
+
37
+ * Se rendre dans son navigateur web et rentrer l'url: localhost:8501
38
+ * Ajouter cette page aux favoris.
39