Create Dockerfile
Browse files- Dockerfile +44 -0
Dockerfile
ADDED
|
@@ -0,0 +1,44 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Antigravity VS Code for Hugging Face Spaces
|
| 2 |
+
FROM ubuntu:22.04
|
| 3 |
+
|
| 4 |
+
ENV DEBIAN_FRONTEND=noninteractive
|
| 5 |
+
|
| 6 |
+
# Install basic packages
|
| 7 |
+
RUN apt update && \
|
| 8 |
+
apt install -y curl gnupg apt-transport-https ca-certificates python3 python3-pip wget
|
| 9 |
+
|
| 10 |
+
# Add Antigravity repository
|
| 11 |
+
RUN mkdir -p /etc/apt/keyrings && \
|
| 12 |
+
curl -fsSL https://us-central1-apt.pkg.dev/doc/repo-signing-key.gpg | \
|
| 13 |
+
gpg --dearmor --yes -o /etc/apt/keyrings/antigravity-repo-key.gpg && \
|
| 14 |
+
echo "deb [signed-by=/etc/apt/keyrings/antigravity-repo-key.gpg] https://us-central1-apt.pkg.dev/projects/antigravity-auto-updater-dev/ antigravity-debian main" | \
|
| 15 |
+
tee /etc/apt/sources.list.d/antigravity.list > /dev/null
|
| 16 |
+
|
| 17 |
+
# Install Antigravity
|
| 18 |
+
RUN apt update && \
|
| 19 |
+
apt install -y antigravity
|
| 20 |
+
|
| 21 |
+
# FIX: Download VS Code CLI and install as antigravity-tunnel
|
| 22 |
+
RUN mkdir -p /usr/share/antigravity/bin && \
|
| 23 |
+
curl -L "https://update.code.visualstudio.com/latest/cli-linux-x64/stable" -o /tmp/vscode-cli.tar.gz && \
|
| 24 |
+
cd /tmp && tar -xzf vscode-cli.tar.gz && \
|
| 25 |
+
cp /tmp/code /usr/share/antigravity/bin/antigravity-tunnel && \
|
| 26 |
+
chmod +x /usr/share/antigravity/bin/antigravity-tunnel && \
|
| 27 |
+
rm -rf /tmp/*
|
| 28 |
+
|
| 29 |
+
# Create user
|
| 30 |
+
RUN useradd -m -u 1000 user
|
| 31 |
+
USER user
|
| 32 |
+
WORKDIR /home/user
|
| 33 |
+
|
| 34 |
+
# Verify antigravity works
|
| 35 |
+
RUN antigravity --version
|
| 36 |
+
|
| 37 |
+
# Create workspace
|
| 38 |
+
RUN mkdir -p /home/user/workspace
|
| 39 |
+
|
| 40 |
+
ENV PORT=7860
|
| 41 |
+
ENV HOME=/home/user
|
| 42 |
+
|
| 43 |
+
# Run Antigravity serve-web
|
| 44 |
+
CMD ["antigravity", "serve-web", "--host", "0.0.0.0", "--port", "7860", "--without-connection-token"]
|