I'd like to hear if anyone is strongly opposed to this, otherwise I will go ahead and create a new repository tomorrow.
Best regards, Joakim Gebart www.eistec.se On Sun, Feb 22, 2015 at 2:51 PM, Ludwig Ortmann <ludwig.ortm...@fu-berlin.de> wrote: > Hi, > > fine with me, thank you for the initiative =) > > Cheers, > Ludwig > > On Sun, Feb 22, 2015 at 11:54:16AM +0100, Joakim Gebart wrote: >> Dear relentless RIOTers, >> I would like to introduce an official repository for keeping Dockerfiles >> used for building Docker images. The images can be used to build RIOT in >> conjunction with the work being proposed in [1]. The images will contain >> supported versions of tool chains to make getting started with RIOT more >> convenient. I volunteer as maintainer for the Dockerfile repository and the >> pre-built images which will be published at the Docker hub [2]. The reason >> for making a separate repository instead of using /dist/XXXXX is that we >> can more easily keep track of tool chain updates, and we can use the Docker >> hub automatic build feature to automatically update the images. Using the >> core RIOT code repo for Dockerfiles will cause an unnecessary amount of >> rebuilds when watching it with the automatic build feature of the Docker >> hub. >> >> [1]: https://github.com/RIOT-OS/RIOT/pull/2392 >> [2]: https://registry.hub.docker.com/repos/riot/ >> >> Best regards, >> Joakim > >> _______________________________________________ >> devel mailing list >> devel@riot-os.org >> http://lists.riot-os.org/mailman/listinfo/devel > > _______________________________________________ > devel mailing list > devel@riot-os.org > http://lists.riot-os.org/mailman/listinfo/devel _______________________________________________ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel