Spaces:
Runtime error
Runtime error
# Use your base Docker image from Docker Hub | |
FROM circulartextapp/algcirc | |
# Set the working directory to /app | |
WORKDIR /app | |
# Copy the current directory contents into the container at /app | |
COPY . /app | |
# Define the user ID in the environment variable USER_ID with a default value | |
ARG USER_ID=1000 | |
ENV USER_ID=$USER_ID | |
# Check if the user already exists | |
RUN if [ -z "$USER_ID" ]; then \ | |
echo "User ID not provided. Using the default user ID 1000."; \ | |
USER_ID=1000; \ | |
fi && \ | |
if id "$USER_ID" >/dev/null 2>&1; then \ | |
echo "User with ID $USER_ID already exists."; \ | |
else \ | |
useradd -m -u "$USER_ID" user; \ | |
fi | |
# Set appropriate permissions for the application directory | |
RUN chown -R user:user /app && chmod -R 755 /app | |
# Install gosu (adjust the package manager based on your base image) | |
RUN apt-get update && apt-get install -y gosu && rm -rf /var/lib/apt/lists/* | |
COPY entrypoint.sh /usr/local/bin/entrypoint.sh | |
RUN chmod +x /usr/local/bin/entrypoint.sh | |
# Switch to the user for improved security | |
USER user | |
# Define the entrypoint script to handle user creation and application startup | |
ENTRYPOINT ["/usr/local/bin/entrypoint.sh"] | |
# Specify the command to run your application | |
CMD ["uvicorn", "app:app", "--host", "0.0.0.0", "--port", "7860", "--reload"] | |