Change the URL of the local documentation development server to be more like the production URL.

This commit is contained in:
Dan Helfman
2025-10-12 15:16:25 -07:00
parent f45258b6b7
commit 8ea9a7cb55
6 changed files with 37 additions and 6 deletions
+1
View File
@@ -6,6 +6,7 @@ USER_PODMAN_SOCKET_PATH=/run/user/$UID/podman/podman.sock
if [ -e "$USER_PODMAN_SOCKET_PATH" ]; then
export DOCKER_HOST="unix://$USER_PODMAN_SOCKET_PATH"
export CONTAINER_SOCKET_PATH="$USER_PODMAN_SOCKET_PATH"
fi
BUILDKIT_PROGRESS=plain docker-compose --file docs/docker-compose.yaml up --build --force-recreate