diff --git a/scripts/build.sh b/scripts/build.sh index e0832fa..d2fa504 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -1,6 +1,6 @@ #! /bin/bash -set -xe +set -e source ./scripts/common.sh source ./scripts/env.sh ./.env.schema @@ -8,8 +8,7 @@ source ./scripts/env.sh ./.env.schema base_or_head="$1" rev="$2" -docker compose kill "$base_or_head" -docker compose rm -vsf "$base_or_head" +docker compose exec "$base_or_head" "/bin/pg_ctl stop -m fast" if [[ "$base_or_head" = "head" ]]; then port=5433