Docker sur Raspberry Pi
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]].
