Spaces:
Runtime error
Runtime error
update Dockerfile
Browse files- Dockerfile +51 -52
Dockerfile
CHANGED
|
@@ -1,60 +1,59 @@
|
|
| 1 |
# HuggingFace Spaces Dockerfile for Overleaf with Japanese LaTeX
|
| 2 |
#
|
| 3 |
-
#
|
| 4 |
-
# - Full TeX Live 2025
|
| 5 |
-
# - MongoDB 8.0
|
| 6 |
-
# - Redis
|
| 7 |
-
# -
|
|
|
|
| 8 |
|
| 9 |
FROM fifof16/sharelatex-with-texlive-full:latest
|
| 10 |
|
| 11 |
-
|
|
|
|
|
|
|
|
|
|
| 12 |
|
| 13 |
-
#
|
| 14 |
-
RUN
|
| 15 |
-
wget \
|
| 16 |
-
gnupg \
|
| 17 |
-
&& rm -rf /var/lib/apt/lists/*
|
| 18 |
|
| 19 |
-
|
| 20 |
-
|
| 21 |
-
|
| 22 |
-
|
| 23 |
-
&& rm -rf /var/lib/apt-lists/*
|
| 24 |
|
| 25 |
-
#
|
| 26 |
-
|
| 27 |
-
|
| 28 |
-
|
| 29 |
-
|
| 30 |
-
|
| 31 |
-
|
| 32 |
-
|
| 33 |
-
|
| 34 |
-
|
| 35 |
-
|
| 36 |
-
|
| 37 |
-
|
| 38 |
-
|
| 39 |
-
|
| 40 |
-
|
| 41 |
-
|
| 42 |
-
|
| 43 |
-
|
| 44 |
-
|
| 45 |
-
|
| 46 |
-
|
| 47 |
-
|
| 48 |
-
|
| 49 |
-
|
| 50 |
-
|
| 51 |
-
|
| 52 |
-
|
| 53 |
-
|
| 54 |
-
|
| 55 |
-
|
| 56 |
-
|
| 57 |
-
|
| 58 |
-
|
| 59 |
-
|
| 60 |
-
CMD ["/start-hf.sh"]
|
|
|
|
| 1 |
# HuggingFace Spaces Dockerfile for Overleaf with Japanese LaTeX
|
| 2 |
#
|
| 3 |
+
# Features:
|
| 4 |
+
# - Full TeX Live 2025 with Japanese support
|
| 5 |
+
# - MongoDB 8.0 embedded
|
| 6 |
+
# - Redis embedded
|
| 7 |
+
# - Port 7860 (HF Spaces default)
|
| 8 |
+
# - Data persistence in /data
|
| 9 |
|
| 10 |
FROM fifof16/sharelatex-with-texlive-full:latest
|
| 11 |
|
| 12 |
+
# Create directories first (as root)
|
| 13 |
+
RUN mkdir -p /data/{mongo,redis,overleaf,git-bridge} \
|
| 14 |
+
/var/log/{mongodb,redis} \
|
| 15 |
+
&& chmod -R 777 /data /var/log
|
| 16 |
|
| 17 |
+
# Fix all permissions that might cause issues
|
| 18 |
+
RUN chmod -R 777 /etc /etc/container_environment 2>/dev/null || true
|
|
|
|
|
|
|
|
|
|
| 19 |
|
| 20 |
+
# Create a wrapper script that properly initializes everything
|
| 21 |
+
RUN cat > /init.sh << 'EOF'
|
| 22 |
+
#!/bin/bash
|
| 23 |
+
set -e
|
|
|
|
| 24 |
|
| 25 |
+
# Fix permissions first
|
| 26 |
+
chmod 755 /etc
|
| 27 |
+
chmod 755 /etc/container_environment 2>/dev/null || true
|
| 28 |
+
chmod 644 /etc/container_environment/*.sh 2>/dev/null || true
|
| 29 |
+
chmod 644 /etc/overleaf/env.sh 2>/dev/null || true
|
| 30 |
+
chmod 755 /etc/my_init.d/ 2>/dev/null || true
|
| 31 |
+
|
| 32 |
+
# Source environment
|
| 33 |
+
source /etc/overleaf/env.sh 2>/dev/null || true
|
| 34 |
+
source /etc/container_environment/*.sh 2>/dev/null || true
|
| 35 |
+
|
| 36 |
+
# Override port to 7860
|
| 37 |
+
export OVERLEAF_PORT=7860
|
| 38 |
+
|
| 39 |
+
# Start MongoDB
|
| 40 |
+
echo "Starting MongoDB..."
|
| 41 |
+
mongod --dbpath /data/mongo --bind_ip 127.0.0.1 --replSet overleaf --fork --logpath /var/log/mongodb/mongodb.log
|
| 42 |
+
sleep 5
|
| 43 |
+
|
| 44 |
+
# Initialize replica set
|
| 45 |
+
mongosh --quiet --eval "try { rs.initiate({_id: 'overleaf', members: [{_id: 0, host: '127.0.0.1:27017'}]}); } catch(e) { }" 2>/dev/null || true
|
| 46 |
+
|
| 47 |
+
# Start Redis
|
| 48 |
+
echo "Starting Redis..."
|
| 49 |
+
redis-server --daemonize yes --dir /data/redis --logfile /var/log/redis/redis.log 2>/dev/null || true
|
| 50 |
+
|
| 51 |
+
echo "Starting Overleaf..."
|
| 52 |
+
exec /sbin/my_init
|
| 53 |
+
EOF
|
| 54 |
+
|
| 55 |
+
RUN chmod +x /init.sh
|
| 56 |
+
|
| 57 |
+
EXPOSE 7860
|
| 58 |
+
|
| 59 |
+
CMD ["/init.sh"]
|
|
|