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
22 lines
260 B
Plaintext
22 lines
260 B
Plaintext
.DS_Store
|
|
.project
|
|
.coverage
|
|
*.pyc
|
|
__pycache__
|
|
|
|
/cloud/templates/
|
|
/cloud/static/assets/css/
|
|
node_modules/
|
|
|
|
/config_local.py
|
|
|
|
/build
|
|
/.cache
|
|
/*.egg-info/
|
|
/.eggs/
|
|
/dump/
|
|
/google_app*.json
|
|
/docker/2_buildpy/python/
|
|
/docker/4_run/wheelhouse/
|
|
/docker/4_run/deploy/
|