File size: 1,157 Bytes
e7c1f6e
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
45
46
47
48
49
# Dockerfile for Antigravity Server on Hugging Face Spaces
# This version uses the native Web Server mode (No VNC needed!)

FROM ubuntu:22.04

ENV DEBIAN_FRONTEND=noninteractive

# 1. Install System Dependencies
RUN apt-get update && apt-get install -y \

    wget \
    curl \
    git \
    sudo \
    libnss3 \
    libatk1.3-0 \
    libatk-bridge2.0-0 \
    libcups2 \
    libdrm2 \
    libgbm1 \
    libasound2 \
    && rm -rf /var/lib/apt/lists/*

# 2. Setup User
RUN useradd -m -u 1000 user && \

    echo "user ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers

USER user
ENV HOME=/home/user \
    PATH=/home/user/.local/bin:$PATH

WORKDIR $HOME

# 3. Install Antigravity IDE
# IMPORTANT: This assumes you have uploaded 'antigravity-linux.deb' to the Space
COPY --chown=user antigravity-linux.deb /home/user/antigravity.deb

RUN sudo apt-get update && \

    sudo apt-get install -y ./antigravity.deb && \
    sudo rm antigravity.deb

# 4. Copy Start Script
COPY --chown=user start.sh /home/user/start.sh
RUN chmod +x /home/user/start.sh

# Hugging Face Spaces use port 7860
EXPOSE 7860

CMD ["/home/user/start.sh"]