Spaces:
Runtime error
Runtime error
Update Dockerfile
Browse files- Dockerfile +13 -11
Dockerfile
CHANGED
|
@@ -2,15 +2,19 @@ FROM shantanupatil01/overleaf-extended:latest
|
|
| 2 |
|
| 3 |
USER root
|
| 4 |
|
| 5 |
-
# 1. Install
|
| 6 |
-
RUN apt-get update && apt-get install -y \
|
| 7 |
-
mongodb \
|
| 8 |
-
|
| 9 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
| 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 |
-
|
| 14 |
|
| 15 |
# 3. Configure Overleaf (New Prefix 5.0+)
|
| 16 |
ENV OVERLEAF_PORT=7860
|
|
@@ -19,14 +23,12 @@ 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
|
| 23 |
RUN echo '#!/bin/bash\n\
|
| 24 |
-
# Start Redis\n\
|
| 25 |
redis-server --daemonize yes\n\
|
| 26 |
-
# Start MongoDB (
|
| 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 |
|
|
|
|
| 2 |
|
| 3 |
USER root
|
| 4 |
|
| 5 |
+
# 1. Install dependencies, add MongoDB 8.0 GPG key and Repository
|
| 6 |
+
RUN apt-get update && apt-get install -y gnupg curl redis-server && \
|
| 7 |
+
curl -fsSL https://www.mongodb.org/static/pgp/server-8.0.asc | \
|
| 8 |
+
gpg --dearmor -o /usr/share/keyrings/mongodb-server-8.0.gpg && \
|
| 9 |
+
echo "deb [ arch=amd64,arm64 signed-by=/usr/share/keyrings/mongodb-server-8.0.gpg ] https://repo.mongodb.org/apt/ubuntu noble/mongodb-org/8.0 multiverse" | \
|
| 10 |
+
tee /etc/apt/sources.list.d/mongodb-org-8.0.list && \
|
| 11 |
+
apt-get update && \
|
| 12 |
+
apt-get install -y mongodb-org && \
|
| 13 |
+
rm -rf /var/lib/apt/lists/*
|
| 14 |
|
| 15 |
# 2. Create data directories and set permissions for Hugging Face
|
| 16 |
+
RUN mkdir -p /data/db /var/lib/redis /var/lib/overleaf /var/log/overleaf && \
|
| 17 |
+
chmod -R 777 /data/db /var/lib/redis /var/lib/overleaf /var/log/overleaf
|
| 18 |
|
| 19 |
# 3. Configure Overleaf (New Prefix 5.0+)
|
| 20 |
ENV OVERLEAF_PORT=7860
|
|
|
|
| 23 |
ENV OVERLEAF_REDIS_HOST=127.0.0.1
|
| 24 |
ENV OVERLEAF_REDIS_PORT=6379
|
| 25 |
|
| 26 |
+
# 4. Create the startup script
|
| 27 |
RUN echo '#!/bin/bash\n\
|
|
|
|
| 28 |
redis-server --daemonize yes\n\
|
| 29 |
+
# Start MongoDB (official pkg uses mongod binary)\n\
|
| 30 |
mongod --fork --logpath /var/log/mongodb.log --dbpath /data/db --bind_ip 127.0.0.1\n\
|
| 31 |
sleep 5\n\
|
|
|
|
| 32 |
exec /sbin/my_init\n\
|
| 33 |
' > /entrypoint.sh && chmod +x /entrypoint.sh
|
| 34 |
|