Hugging Face's logo

Spaces:
metzgerdev
/
vocal-semantic-search
Sleeping

App Files Community
vocal-semantic-search
File size: 2,994 Bytes
edfebcc
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
#!/usr/bin/env bash
# Push the app plus its artifacts to a Hugging Face Space.
#
#   scripts/deploy_space.sh <user>/<space-name> [--ssh]
#
# --ssh pushes over git@hf.co using your SSH key. Without it the remote is
# HTTPS and git prompts for a password -- that is a Hugging Face access token,
# and it should be a fine-grained one scoped to write on this Space, not a
# classic full-access token.
#
# Test the image locally the way the Space runs it:
#
#   docker build -t mss-space .
#   docker run -p 7860:7860 mss-space      # http://localhost:7860
#
# data/ and models/ are gitignored, so they never reach the origin remote. The
# commit is assembled in a temporary index and pushed straight from its SHA:
# nothing is checked out, no branch is created, and the working tree is never
# touched.

set -euo pipefail

SPACE=""
USE_SSH=0

for arg in "$@"; do
    case "$arg" in
        --ssh) USE_SSH=1 ;;
        -*)    echo "unknown option: $arg" >&2; exit 1 ;;
        *)     SPACE="$arg" ;;
    esac
done

if [[ -z "$SPACE" || "$SPACE" != */* ]]; then
    echo "usage: $0 <user>/<space-name> [--ssh]" >&2
    exit 1
fi

if (( USE_SSH )); then
    REMOTE="git@hf.co:spaces/$SPACE"
else
    REMOTE="https://huggingface.co/spaces/$SPACE"
fi

command -v git-lfs >/dev/null || {
    echo "git-lfs is required for the 220MB of previews." >&2
    echo "  brew install git-lfs && git lfs install" >&2
    exit 1
}

[[ -z "$(git status --porcelain)" ]] || {
    echo "working tree is dirty -- commit or stash first" >&2
    exit 1
}

for path in data/voices models/text_int8.onnx models/tokenizer.json; do
    [[ -e "$path" ]] || {
        echo "missing $path -- run \`mss fetch\` and \`mss export\` first" >&2
        exit 1
    }
done

# Reset rather than add: the URL changes when --ssh is toggled or the Space
# is renamed, and a stale remote pushes to the wrong place.
if git remote get-url space >/dev/null 2>&1; then
    git remote set-url space "$REMOTE"
else
    git remote add space "$REMOTE"
fi

if (( USE_SSH )); then
    echo "checking SSH access to hf.co ..."
    ssh -o StrictHostKeyChecking=accept-new -T git@hf.co 2>&1 | head -1
fi

# A scratch index, so `git add -f` cannot disturb the real one. Checking out a
# branch that tracks these paths would delete them from the working tree on the
# way back, which is why nothing here changes branches.
INDEX="$(mktemp -t mss-deploy-index)"
export GIT_INDEX_FILE="$INDEX"
trap 'rm -f "$INDEX"' EXIT

git read-tree HEAD
git add -f data/voices models
TREE="$(git write-tree)"
# Parentless on purpose. The Space is a deployment target, not a mirror of this
# repo's history, and pushing that history drags along every blob ever
# committed -- which Hugging Face rejects for any binary not in LFS at the time
# it was written.
COMMIT="$(git commit-tree "$TREE" \
    -m "Deploy: catalog, vectors, previews and ONNX export")"

echo "pushing to $REMOTE ..."
git push -f space "$COMMIT:main"
echo "done -> https://huggingface.co/spaces/$SPACE"