start.sh

#!/bin/bash

echo "Starting Antigravity Server..."

# Launch Antigravity in Web Server mode
# --host 0.0.0.0: Allows connections from outside the container
# --port 7860: The port Hugging Face expects
# --auth none: Allows you to access the IDE without a password (HF Spaces are public by default, use a Private Space for security!)
# --accept-server-license-terms: Required for running the server mode

antigravity --serve-web \
    --host 0.0.0.0 \
    --port 7860 \
    --auth none \
    --accept-server-license-terms \
    --db-path $HOME/.antigravity-server \
    --extensions-dir $HOME/.antigravity-extensions \
    --user-data-dir $HOME/.antigravity-data