#!/bin/bash # Deployment script for Hugging Face Spaces set -e echo "🚀 Deploying Edge Detection Demo to Hugging Face Spaces" echo "========================================================" echo "" # Check if git is initialized if [ ! -d ".git" ]; then echo "đŸ“Ļ Initializing git repository..." git init git add . git commit -m "Initial commit: Edge Detection Demo" fi # Get Space information echo "Please provide your Hugging Face Space details:" echo "" read -p "📝 Space name (e.g., username/edge-detection-demo): " SPACE_NAME if [ -z "$SPACE_NAME" ]; then echo "❌ Space name cannot be empty" exit 1 fi SPACE_URL="https://huggingface.co/spaces/$SPACE_NAME" echo "" echo "🔗 Space URL: $SPACE_URL" echo "" # Check if remote already exists if git remote | grep -q "hf"; then echo "📝 Remote 'hf' already exists, updating URL..." git remote set-url hf "$SPACE_URL" else echo "📝 Adding Hugging Face remote..." git remote add hf "$SPACE_URL" fi echo "" echo "đŸ“Ļ Committing changes..." # Add all files git add . # Check if there are changes to commit if git diff --staged --quiet; then echo "â„šī¸ No changes to commit." else read -p "đŸ’Ŧ Enter commit message (default: 'Update demo'): " COMMIT_MSG COMMIT_MSG=${COMMIT_MSG:-"Update demo"} git commit -m "$COMMIT_MSG" fi echo "" echo "🚀 Pushing to Hugging Face Spaces..." git push hf main --force echo "" echo "✅ Deployment complete!" echo "🌐 Your Space will be available at: $SPACE_URL" echo "" echo "âąī¸ Note: It may take a few minutes for the Space to build and start."