
# build image (add "--build-arg REBUILD_GMSH=123" to rebuild the Gmsh lib, where
# 123 must be different from build to build)

docker build -f Dockerfile.ubuntu18.10 -t onelab/ubuntu18.10 --build-arg REBUILD_GMSH=123 .
docker build -f Dockerfile.debian.wheezy.64bit -t onelab/debian.wheezy.64bit --build-arg REBUILD_GMSH=123 .
docker build -f Dockerfile.debian.wheezy.32bit -t onelab/debian.wheezy.32bit --build-arg REBUILD_GMSH=123 .

# push image to docker-hub

docker login
docker push onelab/ubuntu18.10
docker push onelab/debian.wheezy.64bit
docker push onelab/debian.wheezy.32bit

# run something

docker run onelab/ubuntu18.10 ls -al /'
docker run -it onelab/ubuntu18.10 bash
docker run -it onelab/debian.wheezy.64bit bash
