2 Commits

Author	SHA1	Message	Date
Sybren A. Stüvel	c5f8add5f5	Made it easier to rebuild the Docker image after someone else built it ... Because we only pushed the final image to Docker Hub, it was impossible to pull the base image someone else created and "quickly" build a new deploy image. Now the deploy scripts push (some) of the intermediate images as well, making it possible to pull them later. I've added `build-pull.sh` and `full-pull.sh` to perform this pull and built up from the pulled images.	2019-03-13 15:47:12 +01:00
Sybren A. Stüvel	908360eb1c	Scripts for easier deployment without leaving ./deploy/ ... You can choose between build-quick.sh (which only does 4_run/build.sh) and build-all.sh (which does a full Docker image rebuild).	2018-02-13 11:46:29 +01:00