mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-27 02:30:17 +08:00
b4d9825409
Ported gradio website into gradio repository, now launched as a docker service from gradio/website
16 lines
363 B
Bash
Executable File
16 lines
363 B
Bash
Executable File
#!/bin/sh
|
|
|
|
UPSTREAM=${1:-'@{u}'}
|
|
LOCAL=$(git rev-parse @)
|
|
REMOTE=$(git rev-parse "$UPSTREAM")
|
|
BASE=$(git merge-base @ "$UPSTREAM")
|
|
|
|
if [ $LOCAL = $REMOTE ]; then
|
|
echo "Up-to-date. No restart."
|
|
elif [ $LOCAL = $BASE ]; then
|
|
echo "Restarting..."
|
|
git pull
|
|
python refresh_google_credentials.py
|
|
docker-compose build
|
|
docker-compose restart -d
|
|
fi |