add Dockerfile

Dockerfile

@@ -0,0 +1,60 @@
+# HuggingFace Spaces Dockerfile for Overleaf with Japanese LaTeX
+#
+# Self-contained Overleaf with:
+# - Full TeX Live 2025 (Japanese support)
+# - MongoDB 8.0
+# - Redis
+# - All data in /data (persisted by HF Spaces)
+
+FROM fifof16/sharelatex-with-texlive-full:latest
+
+USER root
+
+# Update and install MongoDB
+RUN apt-get update && apt-get install -y \
+    wget \
+    gnupg \
+    && rm -rf /var/lib/apt/lists/*
+
+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/*
+
+# Create directories for data persistence
+RUN mkdir -p /data/{mongo,redis,overleaf,git-bridge} \
+             /var/lib/overleaf/data/{uploads,compiles,history,tags} \
+    && chmod -R 777 /data /var/lib/overleaf
+
+# Create startup script
+RUN echo '#!/bin/bash' > /start-hf.sh \
+    && echo 'set -e' >> /start-hf.sh \
+    && echo '' >> /start-hf.sh \
+    && echo 'echo "Starting MongoDB..."' >> /start-hf.sh \
+    && echo 'mongod --dbpath /data/mongo --bind_ip 127.0.0.1 --replSet overleaf --fork --logpath /var/log/mongodb.log' >> /start-hf.sh \
+    && echo 'sleep 5' >> /start-hf.sh \
+    && echo 'mongosh --eval "rs.initiate({_id: \"overleaf\", members: [{_id: 0, host: \"127.0.0.1:27017\"}]})" 2>/dev/null || true' >> /start-hf.sh \
+    && echo '' >> /start-hf.sh \
+    && echo 'echo "Starting Redis..."' >> /start-hf.sh \
+    && echo 'redis-server --daemonize yes --dir /data/redis' >> /start-hf.sh \
+    && echo '' >> /start-hf.sh \
+    && echo 'echo "Starting Overleaf..."' >> /start-hf.sh \
+    && echo 'export OVERLEAF_MONGO_URL="mongodb://127.0.0.1:27017/sharelatex"' >> /start-hf.sh \
+    && echo 'export OVERLEAF_REDIS_HOST="127.0.0.1"' >> /start-hf.sh \
+    && echo 'export OVERLEAF_REDIS_PORT="6379"' >> /start-hf.sh \
+    && echo 'export OVERLEAF_DATA_PATH="/data/overleaf"' >> /start-hf.sh \
+    && echo 'exec /sbin/my_init' >> /start-hf.sh \
+    && chmod +x /start-hf.sh
+
+# Bind Overleaf to all interfaces
+RUN sed -i 's|OVERLEAF_LISTEN_IP=.*|OVERLEAF_LISTEN_IP=0.0.0.0|' /etc/overleaf/env.sh || true
+
+EXPOSE 80
+
+HEALTHCHECK --interval=30s --timeout=10s --start-period=180s --retries=3 \
+    CMD curl -f http://localhost/ || exit 1
+
+USER 1000
+
+CMD ["/start-hf.sh"]