File size: 1,515 Bytes
2d190aa | 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 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | #!/bin/bash
# Deployment script for Hugging Face Spaces
set -e
echo "🚀 Hugging Face Spaces Deployment Script"
echo "========================================="
echo ""
# Check if git is initialized
if [ ! -d ".git" ]; then
echo "❌ Error: Not a git repository. Initialize with 'git init' first."
exit 1
fi
# Get repository name
read -p "📝 Enter your Hugging Face Space name (e.g., username/space-name): " SPACE_NAME
if [ -z "$SPACE_NAME" ]; then
echo "❌ Error: Space name cannot be empty."
exit 1
fi
# Construct the URL
SPACE_URL="https://huggingface.co/spaces/${SPACE_NAME}"
echo ""
echo "🔍 Checking if remote exists..."
# Check if 'hf' 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 remote 'hf'..."
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
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."
|