Docker image `diegoferigo/devenv`

	Base Image	Base image repo
	`ubuntu:bionic`	github@tianon/docker-brew-ubuntu-core
	`ubuntu:bionic`	github@tianon/docker-brew-ubuntu-core
	`nvidia/cuda:10.0-runtime-ubuntu18.04`	gitlab@nvidia/cuda

Build the image

From the current folder, execute:

# Intel GPUs: it creates the image diegoferigo/devenv:intel
make intel

# Nvidia GPUs: it creates the image diegoferigo/devenv:nvidia
make nvidia

The images can be found in my dockerhub profile:

# Download the intel image
docker pull diegoferigo/devenv:intel

# Download the nvidia image
docker pull diegoferigo/devenv:nvidia

TODO