Sybren A. Stüvel
94ef616593
This radically changes the way we deploy to the production server, as a Git checkout is no longer required there. All the necessary files are now inside the docker image. As a result, /data/git should no longer be mounted as a Docker volume. - Renamed docker/build.sh → docker/full_rebuild.sh This makes it clearer that it performs a full rebuild of the Docker images. - Full rebuilds should be done on a regular basis to pull in Ubuntu security updates. - Removed rsync_ui.sh, we no longer need it. Other projects can also remove their rsync_ui.sh. - Moved deploy.sh → deploy/2docker.sh and added deploy/2server.sh
18 lines
215 B
Bash
Executable File
18 lines
215 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -xe
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
cd $DIR/1_base
|
|
bash build.sh
|
|
|
|
cd $DIR/2_buildpy
|
|
bash build.sh
|
|
|
|
cd $DIR/3_buildwheels
|
|
bash build.sh
|
|
|
|
cd $DIR/4_run
|
|
bash build.sh
|