Final changes. This modifies the dev-docs script a little to either use docker-compose or podman-compose. I've found that Podman runs smoother this way, and it isn't required to install docker-compose.

This commit is contained in:
lingfish
2026-02-27 11:24:45 +11:00
parent 607ff20971
commit cb8b298648
5 changed files with 39 additions and 12 deletions
+10 -6
View File
@@ -2,11 +2,15 @@
set -e
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"
if command -v podman >/dev/null 2>&1; then
if ! command -v podman-compose >/dev/null 2>&1; then
echo "Error: podman is installed, but podman-compose is missing." >&2
exit 1
fi
COMPOSE_CMD="podman-compose"
export CONTAINER_SOCKET_PATH="${XDG_RUNTIME_DIR:-/run/user/$UID}/podman/podman.sock"
else
COMPOSE_CMD="docker-compose"
fi
BUILDKIT_PROGRESS=plain docker-compose --file docs/docker-compose.yaml up --build --force-recreate
BUILDKIT_PROGRESS=plain $COMPOSE_CMD --file docs/docker-compose.yaml up --build --force-recreate