FROM python:3.11-slim # Install ripgrep RUN apt-get update && \ apt-get install -y --no-install-recommends ripgrep && \ rm -rf /var/lib/apt/lists/* # HuggingFace Spaces runs as user 1000 RUN useradd -m -u 1000 appuser WORKDIR /app COPY requirements.txt . RUN pip install --no-cache-dir -r requirements.txt COPY . . # Data directory with correct permissions RUN mkdir -p /app/data && chown -R appuser:appuser /app USER appuser # HuggingFace Spaces expects port 7860 EXPOSE 7860 CMD ["python", "server.py"]