mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-29 19:50:40 +00:00
36 lines
952 B
Bash
36 lines
952 B
Bash
|
#!/bin/sh
|
||
|
|
||
|
set -e
|
||
|
|
||
|
BRANCH=master
|
||
|
NAMESPACE=gstreamer
|
||
|
|
||
|
WORK_DIR=`mktemp -d -p "$DIR"`
|
||
|
|
||
|
# deletes the temp directory
|
||
|
function cleanup {
|
||
|
rm -rf "$WORK_DIR"
|
||
|
echo "Deleted temp working directory $WORK_DIR"
|
||
|
}
|
||
|
|
||
|
# register the cleanup function to be called on the EXIT signal
|
||
|
trap cleanup EXIT
|
||
|
|
||
|
echo ""
|
||
|
echo "============================================================================================================================"
|
||
|
echo "Updating documentation from: https://gitlab.freedesktop.org/$NAMESPACE/gst-docs/-/jobs/artifacts/$BRANCH/download?job=deploy"
|
||
|
|
||
|
date
|
||
|
|
||
|
cd $WORK_DIR
|
||
|
wget https://gitlab.freedesktop.org/$NAMESPACE/gst-docs/-/jobs/artifacts/$BRANCH/download?job=deploy -O gstdocs.zip
|
||
|
|
||
|
unzip gstdocs.zip
|
||
|
|
||
|
DOC_BASE="/srv/gstreamer.freedesktop.org/public_html/documentation"
|
||
|
|
||
|
rsync -rvaz --links --delete documentation/ $DOC_BASE || /bin/true
|
||
|
chmod -R g+w $DOC_BASE; chgrp -R gstreamer $DOC_BASE
|
||
|
|
||
|
echo "Done updating documentation"
|
||
|
echo ""
|