FROM python:3.13-slim
WORKDIR /app
RUN apt-get update && apt-get install -y --no-install-recommends \
curl ca-certificates \
openssh-client \
&& rm -rf /var/lib/apt/lists/*
COPY pyproject.toml .
COPY devplacepy/ devplacepy/
RUN pip install --no-cache-dir ".[dev]"
EXPOSE 4242
ENV DEVPLACE_TUNNEL_SSH_PORT=4242
ENV DEVPLACE_TEMPLATE_AUTO_RELOAD=0
HEALTHCHECK --interval=30s --timeout=10s --retries=3 --start-period=10s \
CMD curl -f http://localhost:10500/ || exit 1
CMD ["python", "-m", "devplacepy.ssh_server_main"]