2023-03-20 19:03:57 +08:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
|
|
|
# Absolute path to the toplevel milvus directory.
|
|
|
|
toplevel=$(dirname "$(cd "$(dirname "${0}")"; pwd)")
|
|
|
|
|
2024-02-19 14:14:55 +08:00
|
|
|
if [[ "$IS_NETWORK_MODE_HOST" == "true" ]]; then
|
|
|
|
sed -i '/gpubuilder:/,/^\s*$/s/image: \${IMAGE_REPO}\/milvus-env:gpu-\${OS_NAME}-\${GPU_DATE_VERSION}/&\n network_mode: "host"/' $toplevel/docker-compose.yml
|
|
|
|
fi
|
|
|
|
|
2024-04-16 19:48:15 +08:00
|
|
|
export OS_NAME="${OS_NAME:-ubuntu22.04}"
|
2023-03-20 19:03:57 +08:00
|
|
|
|
|
|
|
pushd "${toplevel}"
|
|
|
|
|
|
|
|
if [[ "${1-}" == "pull" ]]; then
|
|
|
|
docker-compose pull --ignore-pull-failures gpubuilder
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [[ "${1-}" == "down" ]]; then
|
|
|
|
docker-compose down
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
|
|
|
# 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
|
|
|
|
|
|
|
|
mkdir -p "${DOCKER_VOLUME_DIRECTORY:-.docker-gpu}/amd64-${OS_NAME}-ccache"
|
|
|
|
mkdir -p "${DOCKER_VOLUME_DIRECTORY:-.docker-gpu}/amd64-${OS_NAME}-go-mod"
|
|
|
|
mkdir -p "${DOCKER_VOLUME_DIRECTORY:-.docker-gpu}/amd64-${OS_NAME}-vscode-extensions"
|
|
|
|
mkdir -p "${DOCKER_VOLUME_DIRECTORY:-.docker-gpu}/amd64-${OS_NAME}-conan"
|
|
|
|
chmod -R 777 "${DOCKER_VOLUME_DIRECTORY:-.docker-gpu}"
|
|
|
|
|
|
|
|
docker-compose pull --ignore-pull-failures gpubuilder
|
|
|
|
if [[ "${CHECK_BUILDER:-}" == "1" ]]; then
|
|
|
|
docker-compose build gpubuilder
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [[ "$(id -u)" != "0" ]]; then
|
|
|
|
docker-compose run --no-deps --rm -u "$uid:$gid" gpubuilder "$@"
|
|
|
|
else
|
2024-04-16 19:48:15 +08:00
|
|
|
docker-compose run --no-deps --rm gpubuilder "$@"
|
2023-03-20 19:03:57 +08:00
|
|
|
fi
|
|
|
|
|
|
|
|
popd
|