update Dockerfile

Dockerfile

@@ -1,16 +1,34 @@
 # HuggingFace Spaces Dockerfile for Overleaf with Japanese LaTeX
 #
-# FIXED: MongoDB/Redis must start before migrations run
+# FIXED: MongoDB not found - install it first!
 #
 # Features:
 # - Full TeX Live 2025 with Japanese support
-# - MongoDB 8.0 embedded
-# - Redis embedded
+# - MongoDB 8.0
+# - Redis
 # - Port 7860
 
 FROM fifof16/sharelatex-with-texlive-full:latest
 
-# Create directories
+# ============================================
+# STEP 1: INSTALL MONGODB
+# ============================================
+RUN apt-get update && apt-get install -y \
+    wget \
+    gnupg \
+    curl \
+    && rm -rf /var/lib/apt/lists/*
+
+# Add MongoDB repository and install MongoDB 8.0
+RUN wget -qO - https://www.mongodb.org/static/pgp/server-8.0.asc | apt-key add - \
+    && echo "deb [ arch=amd64 ] https://repo.mongodb.org/apt/ubuntu jammy/mongodb-org/8.0 multiverse" | tee /etc/apt/sources.list.d/mongodb-org-8.0.list \
+    && apt-get update \
+    && apt-get install -y mongodb-org \
+    && rm -rf /var/lib/apt/lists/*
+
+# ============================================
+# STEP 2: CREATE DIRECTORIES
+# ============================================
 RUN mkdir -p /data/{mongo,redis,overleaf,git-bridge} \
              /var/log/{mongodb,redis} \
     && chmod -R 777 /data /var/log
@@ -19,7 +37,7 @@ RUN mkdir -p /data/{mongo,redis,overleaf,git-bridge} \
 RUN chmod -R 777 /etc 2>/dev/null || true
 
 # ============================================
-# STEP 1: REMOVE DEFAULT MONGO CHECK SCRIPTS
+# STEP 3: REMOVE DEFAULT MONGO CHECK SCRIPTS
 # ============================================
 RUN rm -f /etc/my_init.d/500_check_db_access.sh 2>/dev/null || true
 RUN rm -f /etc/my_init.d/500_check_mongo.sh 2>/dev/null || true
@@ -27,9 +45,8 @@ RUN rm -f /etc/runit/mongo 2>/dev/null || true
 RUN rm -f /etc/runit/redis 2>/dev/null || true
 
 # ============================================
-# STEP 2: CREATE CUSTOM INIT SCRIPT EARLY
+# STEP 4: CREATE CUSTOM INIT SCRIPT
 # ============================================
-# Run FIRST to start MongoDB before ANYTHING else
 RUN cat > /etc/my_init.d/00_start_services.sh << 'EOFSCRIPT'
 #!/bin/bash
 set -e
@@ -72,7 +89,7 @@ EOFSCRIPT
 RUN chmod +x /etc/my_init.d/00_start_services.sh
 
 # ============================================
-# STEP 3: SET ENVIRONMENT (critical for my_init)
+# STEP 5: SET ENVIRONMENT
 # ============================================
 RUN mkdir -p /etc/container_environment
 RUN printf "mongodb://127.0.0.1:27017/sharelatex" > /etc/container_environment/OVERLEAF_MONGO_URL
@@ -83,7 +100,6 @@ RUN printf "7860" > /etc/container_environment/OVERLEAF_PORT
 
 RUN chmod 644 /etc/container_environment/OVERLEAF_*
 
-# Also update /etc/overleaf/env.sh
 RUN printf "OVERLEAF_MONGO_URL=mongodb://127.0.0.1:27017/sharelatex\n" >> /etc/overleaf/env.sh
 RUN printf "OVERLEAF_REDIS_HOST=127.0.0.1\n" >> /etc/overleaf/env.sh
 RUN printf "OVERLEAF_REDIS_PORT=6379\n" >> /etc/overleaf/env.sh
@@ -91,10 +107,8 @@ RUN printf "OVERLEAF_LISTEN_IP=0.0.0.0\n" >> /etc/overleaf/env.sh
 RUN printf "OVERLEAF_PORT=7860\n" >> /etc/overleaf/env.sh
 RUN chmod 644 /etc/overleaf/env.sh
 
-# Stay as root
 USER root
 
 EXPOSE 7860
 
-# Run my_init - it will run 00_start_services.sh BEFORE migrations
 CMD ["/sbin/my_init"]