Documenter l'utilisation de Docker
doc/server.org
pourrait contenir des infos sur l'installation Docker.
Il faudra d'ailleurs un jour qu'on fasse une journée tutorial Docker pour tous, puis qu'on communique sur cette installation.
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
doc/server.org
pourrait contenir des infos sur l'installation Docker.
Il faudra d'ailleurs un jour qu'on fasse une journée tutorial Docker pour tous, puis qu'on communique sur cette installation.