This repository has been archived on 2022-10-07. You can view files and clone it, but cannot push or open issues or pull requests.
2020-09-14 15:40:18 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -e # exit on first error
|
|
|
|
|
|
2020-09-14 16:20:26 +00:00
|
|
|
# get current working directory (pwd doesn't cut it)
|
|
|
|
|
cwd=$(cd -P -- "$(dirname -- "$0")" && pwd -P)
|
|
|
|
|
|
2020-09-14 15:40:18 +00:00
|
|
|
# put the server down for maintenance
|
|
|
|
|
. ${cwd}/portal-down.sh
|
|
|
|
|
|
|
|
|
|
# rebuild and restart all docker containers
|
|
|
|
|
docker-compose build --no-cache
|
|
|
|
|
docker-compose down
|
|
|
|
|
docker-compose up -d
|
|
|
|
|
|
|
|
|
|
# enable the server again
|
|
|
|
|
. ${cwd}/portal-up.sh
|
