mirror of
https://github.com/mii443/tokenizers.git
synced 2025-08-22 16:25:30 +00:00
Doc - Allow overwriting existing versions while deploying
This commit is contained in:
4
.github/deploy_doc.sh
vendored
4
.github/deploy_doc.sh
vendored
@ -28,7 +28,7 @@ function deploy_doc(){
|
||||
done
|
||||
elif [ "$2" == "latest" ]; then
|
||||
push_version $1 $2 $3
|
||||
elif ssh "$HOST_NAME" "[ -d $DOC_PATH/$3/$2 ]"; then
|
||||
elif [ "$4" != "override" ] && ssh "$HOST_NAME" "[ -d $DOC_PATH/$3/$2 ]"; then
|
||||
echo "Directory" $2 "already exists"
|
||||
rsync -zvr --delete _static/ "$HOST_NAME:$DOC_PATH/$3/$2/_static"
|
||||
else
|
||||
@ -46,5 +46,5 @@ deploy_doc "$GITHUB_SHA" latest rust
|
||||
deploy_doc "$GITHUB_SHA" latest node
|
||||
|
||||
# Python versions
|
||||
deploy_doc "$GITHUB_SHA" v0.9.0 python
|
||||
deploy_doc "$GITHUB_SHA" v0.9.0 python override
|
||||
deploy_doc "$GITHUB_SHA" latest python
|
||||
|
Reference in New Issue
Block a user