Sybren A. Stüvel
c5f8add5f5
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.
10 lines
102 B
Bash
Executable File
10 lines
102 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
NAME="$(basename "$0")"
|
|
|
|
./2docker.sh
|
|
./${NAME/full-/build-}
|
|
./2server.sh cloud2
|