mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SERVER-112443: Fix issues with getting docker server information due … (#43739) 

GitOrigin-RevId: 31199b784fd34f702a775ea1eae8eaece8bba936
This commit is contained in:
Eric Lavigne 2025-11-18 10:18:40 -07:00 committed by MongoDB Bot
parent 28a5f472d5
commit 5d2da8b847
1 changed files with 27 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
.devcontainer/post-create.sh
View File

@ -49,26 +49,41 @@ echo "[OK] Volume and Git permissions fixed"
# Configure Bazel with Docker information (one-time container setup)
echo "Configuring Bazel with Docker server information..."
# Helper function to add Bazel keyword if not already present
# Helper function to add/update Bazel keyword with latest value
add_bazel_keyword() {
local keyword="$1"
local value="$2"
local bazelrc="${HOME}/.bazelrc"
if ! grep -q "devcontainer:${keyword}" "${bazelrc}" 2>/dev/null; then
# Ensure bazelrc exists
touch "${bazelrc}"
# Use a temporary file to avoid issues with in-place editing
grep -v "devcontainer:${keyword}" "${bazelrc}" >"${bazelrc}.tmp" 2>/dev/null || true
mv "${bazelrc}.tmp" "${bazelrc}"
# Add the keyword with current value
echo "common --bes_keywords=devcontainer:${keyword}=\"${value}\"" >>"${bazelrc}"
echo "[OK] ${keyword} configured: ${value}"
else
echo "Info: ${keyword} already configured"
fi
}
# Report Docker server platform
DOCKER_PLATFORM=$(docker version --format '{{.Server.Platform.Name}}' 2>/dev/null || echo "unknown")
add_bazel_keyword "docker_server_platform" "${DOCKER_PLATFORM}"
# Report Docker server platform and version
OS_NAME=$(docker info --format '{{.OperatingSystem}}' 2>/dev/null || echo "unknown")
DOCKER_NAME=$(docker info --format '{{.Name}}' 2>/dev/null || echo "unknown")
DOCKER_VERSION=$(docker info --format '{{.ServerVersion}}' 2>/dev/null || echo "unknown")
# Report Docker server version
DOCKER_VERSION=$(docker version --format '{{.Server.Version}}' 2>/dev/null || echo "unknown")
# Determine platform
if [ "${OS_NAME}" = "Docker Desktop" ]; then
DOCKER_PLATFORM="Docker Desktop"
elif [[ "${DOCKER_NAME}" =~ rancher ]]; then
DOCKER_PLATFORM="Rancher Desktop"
elif [ "${OS_NAME}" != "unknown" ]; then
DOCKER_PLATFORM="${OS_NAME}"
else
DOCKER_PLATFORM="unknown"
fi
add_bazel_keyword "docker_server_platform" "${DOCKER_PLATFORM}"
add_bazel_keyword "docker_server_version" "${DOCKER_VERSION}"
# Report architecture