Spaces:
Runtime error
Runtime error
Update Dockerfile
Browse files- Dockerfile +9 -9
Dockerfile
CHANGED
|
@@ -2,31 +2,31 @@ FROM shantanupatil01/overleaf-extended:latest
|
|
| 2 |
|
| 3 |
USER root
|
| 4 |
|
| 5 |
-
# 1. Install MongoDB
|
| 6 |
-
RUN apt-get update && apt-get install -y
|
| 7 |
-
|
| 8 |
-
|
| 9 |
-
&& apt-get update && apt-get install -y mongodb-org redis-server \
|
| 10 |
&& rm -rf /var/lib/apt/lists/*
|
| 11 |
|
| 12 |
# 2. Create data directories and set permissions for Hugging Face
|
| 13 |
RUN mkdir -p /data/db /var/lib/redis /var/lib/overleaf /var/log/overleaf \
|
| 14 |
&& chmod -R 777 /data/db /var/lib/redis /var/lib/overleaf /var/log/overleaf
|
| 15 |
|
| 16 |
-
# 3. Configure Overleaf
|
| 17 |
ENV OVERLEAF_PORT=7860
|
| 18 |
ENV OVERLEAF_LISTEN_IP=0.0.0.0
|
| 19 |
ENV OVERLEAF_MONGO_URL=mongodb://127.0.0.1:27017/overleaf
|
| 20 |
ENV OVERLEAF_REDIS_HOST=127.0.0.1
|
| 21 |
ENV OVERLEAF_REDIS_PORT=6379
|
| 22 |
|
| 23 |
-
# 4. Create a startup script
|
| 24 |
RUN echo '#!/bin/bash\n\
|
|
|
|
| 25 |
redis-server --daemonize yes\n\
|
|
|
|
| 26 |
mongod --fork --logpath /var/log/mongodb.log --dbpath /data/db --bind_ip 127.0.0.1\n\
|
| 27 |
-
# Wait for DBs to wake up\n\
|
| 28 |
sleep 5\n\
|
| 29 |
-
# Start Overleaf
|
| 30 |
exec /sbin/my_init\n\
|
| 31 |
' > /entrypoint.sh && chmod +x /entrypoint.sh
|
| 32 |
|
|
|
|
| 2 |
|
| 3 |
USER root
|
| 4 |
|
| 5 |
+
# 1. Install MongoDB and Redis from default Ubuntu repos (Stable & Compatible)
|
| 6 |
+
RUN apt-get update && apt-get install -y \
|
| 7 |
+
mongodb \
|
| 8 |
+
redis-server \
|
|
|
|
| 9 |
&& rm -rf /var/lib/apt/lists/*
|
| 10 |
|
| 11 |
# 2. Create data directories and set permissions for Hugging Face
|
| 12 |
RUN mkdir -p /data/db /var/lib/redis /var/lib/overleaf /var/log/overleaf \
|
| 13 |
&& chmod -R 777 /data/db /var/lib/redis /var/lib/overleaf /var/log/overleaf
|
| 14 |
|
| 15 |
+
# 3. Configure Overleaf (New Prefix 5.0+)
|
| 16 |
ENV OVERLEAF_PORT=7860
|
| 17 |
ENV OVERLEAF_LISTEN_IP=0.0.0.0
|
| 18 |
ENV OVERLEAF_MONGO_URL=mongodb://127.0.0.1:27017/overleaf
|
| 19 |
ENV OVERLEAF_REDIS_HOST=127.0.0.1
|
| 20 |
ENV OVERLEAF_REDIS_PORT=6379
|
| 21 |
|
| 22 |
+
# 4. Create a robust startup script
|
| 23 |
RUN echo '#!/bin/bash\n\
|
| 24 |
+
# Start Redis\n\
|
| 25 |
redis-server --daemonize yes\n\
|
| 26 |
+
# Start MongoDB (Ubuntu default pkg uses /var/lib/mongodb usually, but we force /data/db)\n\
|
| 27 |
mongod --fork --logpath /var/log/mongodb.log --dbpath /data/db --bind_ip 127.0.0.1\n\
|
|
|
|
| 28 |
sleep 5\n\
|
| 29 |
+
# Start Overleaf\n\
|
| 30 |
exec /sbin/my_init\n\
|
| 31 |
' > /entrypoint.sh && chmod +x /entrypoint.sh
|
| 32 |
|