Docker files

These are the Docker files used to create the Docker images published at Docker Hub (and possibly more).

To publish images, use something like:

$ docker push ilegeul/debian:9-gnu-mcu-eclipse

CentOS 64-bits images.

Debian 64-bits images.

Debian 32-bits images.

About

Language:Shell 48.8%Language:Dockerfile 45.9%Language:Python 3.6%Language:C 1.8%