Docker sur Raspberry Pi : Différence entre versions
| Ligne 13 : | Ligne 13 : | ||
Remarque : il ne faut pas oublier de mettre ssh dans les configuration de la raspberry ! | Remarque : il ne faut pas oublier de mettre ssh dans les configuration de la raspberry ! | ||
| + | |||
| + | Le nom de l'image ''Docker'' est : micmacign/micmacpi | ||
| + | |||
| + | A l'aide de la commande ''pull'', écrivez ce qui suit : | ||
| + | |||
| + | <pre>docker pull <repository de l'image sur le docker hub: micmacign/micmacpi> </pre> | ||
| + | |||
| + | <pre>Config proxy docker : /etc/systemd/system/docker.service.d/http-proxy.conf</pre> | ||
| + | <pre>sudo systemctl daemon-reload</pre> | ||
| + | <pre>sudo systemctl restart docker</pre> | ||
| + | |||
| + | Ensuite, il vous faut construire l'image a partir du Dockerfile, en lui affectant un repository : | ||
| + | |||
| + | <pre>docker build -t <repository: micmacign/micmacpi></pre> | ||
| + | |||
| + | Attention, il ne faut pas oublier de créer un dossier avec le Dockerfile, uniquement avec les fichiers ou dossiers spécifiés dans le Dockerfile. Cela s'effectue grâce à la commande ''Add''. Il faut également lancer la commande dans ce dossier précis pour ''builder'' l'image à partir du Dockerfile en question. | ||
| + | Pour afficher la liste des images ''Docker'' (pour récupérer leur ''id'' par exemple), il suffit de taper : | ||
| + | |||
| + | <pre>docker images</pre> | ||
| + | |||
| + | Pour afficher la liste des containers ''Docker'' lancés (pour récupérer leur ''id'' par exemple), il suffit de taper : | ||
| + | |||
| + | >pre>docker ps -l</pre> | ||
| + | |||
| + | Pour lancer un container avec un espace en commun entre le container et le host: | ||
| + | |||
| + | <pre>docker run --tty --interactive -v <repertory absolu sur le host: /home/pi/Data > : <repertory absolu dans le container (existant ou pas): /Data ><id de l'image: c76fc9820022 > </pre> | ||
| + | |||
| + | Une fois cette commande lancée, on se trouve dans le container et on a la possibilité de lancer des commandes. On trouvera dans le dossier '''''Data''''' tout ce qu'il se trouve dans ''/home/pi/Data'' de la machine sous-jacente. | ||
| + | En outre, il est possible de lire et écrire dans ce dossier a partir du container et de la machine host, les changements resteront après fermeture du container : | ||
| + | <pre>exit</pre> | ||
| + | |||
| + | Ce dossier partagé pourra servir pour les données afin que le container puisse y accéder et pour récupérer le résultat sur le host. | ||
Si vous souhaitez ''clusteriser'', ou bien paralléliser plusieurs raspberry Pi ensemble pour avoir une puissance de calcul beaucoup plus importante, dirigez-vous vers ce site [[http://blog.hypriot.com/post/introducing-hypriot-cluster-lab-docker-clustering-as-easy-as-it-gets/]]. | Si vous souhaitez ''clusteriser'', ou bien paralléliser plusieurs raspberry Pi ensemble pour avoir une puissance de calcul beaucoup plus importante, dirigez-vous vers ce site [[http://blog.hypriot.com/post/introducing-hypriot-cluster-lab-docker-clustering-as-easy-as-it-gets/]]. | ||
Version actuelle en date du 31 janvier 2017 à 14:36
L'installation a été faire à partir de ce site : http://blog.alexellis.io/getting-started-with-docker-on-raspberry-pi/
Tout d'abord, pour installer Docker sur votre processeur, vous devez utiliser la commande suivante :
curl -ssL get.docker.com | sh
Ensuite, il faut mettre l'auto-start :
sudo systemctl enable docker
A vous de suivre les instructions ( normalement, on va vous demander d'effectuer sudo systemctl daemon-reload).
Il faut par la suite enable le docker client via la commande :
sudo usermod -aG docker pi(pi étant le user de la raspberry)
Remarque : il ne faut pas oublier de mettre ssh dans les configuration de la raspberry !
Le nom de l'image Docker est : micmacign/micmacpi
A l'aide de la commande pull, écrivez ce qui suit :
docker pull <repository de l'image sur le docker hub: micmacign/micmacpi>
Config proxy docker : /etc/systemd/system/docker.service.d/http-proxy.conf
sudo systemctl daemon-reload
sudo systemctl restart docker
Ensuite, il vous faut construire l'image a partir du Dockerfile, en lui affectant un repository :
docker build -t <repository: micmacign/micmacpi>
Attention, il ne faut pas oublier de créer un dossier avec le Dockerfile, uniquement avec les fichiers ou dossiers spécifiés dans le Dockerfile. Cela s'effectue grâce à la commande Add. Il faut également lancer la commande dans ce dossier précis pour builder l'image à partir du Dockerfile en question. Pour afficher la liste des images Docker (pour récupérer leur id par exemple), il suffit de taper :
docker images
Pour afficher la liste des containers Docker lancés (pour récupérer leur id par exemple), il suffit de taper :
>pre>docker ps -l</pre>
Pour lancer un container avec un espace en commun entre le container et le host:
docker run --tty --interactive -v <repertory absolu sur le host: /home/pi/Data > : <repertory absolu dans le container (existant ou pas): /Data ><id de l'image: c76fc9820022 >
Une fois cette commande lancée, on se trouve dans le container et on a la possibilité de lancer des commandes. On trouvera dans le dossier Data tout ce qu'il se trouve dans /home/pi/Data de la machine sous-jacente. En outre, il est possible de lire et écrire dans ce dossier a partir du container et de la machine host, les changements resteront après fermeture du container :
exit
Ce dossier partagé pourra servir pour les données afin que le container puisse y accéder et pour récupérer le résultat sur le host.
Si vous souhaitez clusteriser, ou bien paralléliser plusieurs raspberry Pi ensemble pour avoir une puissance de calcul beaucoup plus importante, dirigez-vous vers ce site [[1]].
