2020-11-13 12:27:41 +08:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
2021-06-10 17:33:49 +08:00
|
|
|
# Absolute path to the toplevel milvus directory.
|
2020-11-13 12:27:41 +08:00
|
|
|
toplevel=$(dirname "$(cd "$(dirname "${0}")"; pwd)")
|
|
|
|
|
|
|
|
pushd "${toplevel}"
|
|
|
|
|
2021-04-29 11:28:27 +08:00
|
|
|
if [[ "${1-}" == "pull" ]]; then
|
2020-11-13 12:27:41 +08:00
|
|
|
docker-compose pull --ignore-pull-failures ubuntu
|
2021-04-27 19:27:50 +08:00
|
|
|
# docker-compose pull --ignore-pull-failures gdbserver
|
2020-11-13 12:27:41 +08:00
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
2021-04-29 11:28:27 +08:00
|
|
|
if [[ "${1-}" == "down" ]]; then
|
2020-11-18 16:38:28 +08:00
|
|
|
docker-compose down
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
2020-11-13 12:27:41 +08:00
|
|
|
# Attempt to run in the container with the same UID/GID as we have on the host,
|
|
|
|
# as this results in the correct permissions on files created in the shared
|
|
|
|
# volumes. This isn't always possible, however, as IDs less than 100 are
|
|
|
|
# reserved by Debian, and IDs in the low 100s are dynamically assigned to
|
|
|
|
# various system users and groups. To be safe, if we see a UID/GID less than
|
|
|
|
# 500, promote it to 501. This is notably necessary on macOS Lion and later,
|
|
|
|
# where administrator accounts are created with a GID of 20. This solution is
|
|
|
|
# not foolproof, but it works well in practice.
|
|
|
|
uid=$(id -u)
|
|
|
|
gid=$(id -g)
|
|
|
|
[ "$uid" -lt 500 ] && uid=501
|
|
|
|
[ "$gid" -lt 500 ] && gid=$uid
|
|
|
|
|
2020-12-09 20:07:27 +08:00
|
|
|
mkdir -p "${DOCKER_VOLUME_DIRECTORY:-.docker}/amd64-ubuntu18.04-ccache"
|
|
|
|
mkdir -p "${DOCKER_VOLUME_DIRECTORY:-.docker}/amd64-ubuntu18.04-go-mod"
|
2020-11-13 12:27:41 +08:00
|
|
|
chmod -R 777 "${DOCKER_VOLUME_DIRECTORY:-.docker}"
|
|
|
|
|
|
|
|
docker-compose pull --ignore-pull-failures ubuntu
|
2021-04-29 11:28:27 +08:00
|
|
|
if [[ "${CHECK_BUILDER:-}" == "1" ]]; then
|
2020-11-20 17:27:04 +08:00
|
|
|
DATE_VERSION=latest docker-compose pull --ignore-pull-failures ubuntu
|
2020-11-17 18:36:03 +08:00
|
|
|
docker-compose build ubuntu
|
|
|
|
fi
|
2021-04-29 11:28:27 +08:00
|
|
|
|
|
|
|
if [[ "$(id -u)" != "0" ]]; then
|
|
|
|
docker-compose run --rm -u "$uid:$gid" ubuntu "$@"
|
|
|
|
else
|
|
|
|
docker-compose run --rm --entrypoint "/tini --" ubuntu "$@"
|
|
|
|
fi
|
2020-11-13 12:27:41 +08:00
|
|
|
|
|
|
|
popd
|