File size: 1,522 Bytes
77537b3
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
# Antigravity VS Code for Hugging Face Spaces
FROM ubuntu:22.04

ENV DEBIAN_FRONTEND=noninteractive

# Install basic packages
RUN apt update && \
    apt install -y curl gnupg apt-transport-https ca-certificates python3 python3-pip wget

# Add Antigravity repository
RUN mkdir -p /etc/apt/keyrings && \
    curl -fsSL https://us-central1-apt.pkg.dev/doc/repo-signing-key.gpg | \
      gpg --dearmor --yes -o /etc/apt/keyrings/antigravity-repo-key.gpg && \
    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" | \
      tee /etc/apt/sources.list.d/antigravity.list > /dev/null

# Install Antigravity
RUN apt update && \
    apt install -y antigravity

# FIX: Download VS Code CLI and install as antigravity-tunnel
RUN mkdir -p /usr/share/antigravity/bin && \
    curl -L "https://update.code.visualstudio.com/latest/cli-linux-x64/stable" -o /tmp/vscode-cli.tar.gz && \
    cd /tmp && tar -xzf vscode-cli.tar.gz && \
    cp /tmp/code /usr/share/antigravity/bin/antigravity-tunnel && \
    chmod +x /usr/share/antigravity/bin/antigravity-tunnel && \
    rm -rf /tmp/*

# Create user
RUN useradd -m -u 1000 user
USER user
WORKDIR /home/user

# Verify antigravity works
RUN antigravity --version

# Create workspace
RUN mkdir -p /home/user/workspace

ENV PORT=7860
ENV HOME=/home/user

# Run Antigravity serve-web
CMD ["antigravity", "serve-web", "--host", "0.0.0.0", "--port", "7860", "--without-connection-token"]