|
@@ -0,0 +1,24 @@ |
|
|
|
|
|
#!/bin/bash |
|
|
|
|
|
|
|
|
|
|
|
set -e |
|
|
|
|
|
|
|
|
|
|
|
remote="$1" |
|
|
|
|
|
url="$2" |
|
|
|
|
|
|
|
|
|
|
|
z40=0000000000000000000000000000000000000000 |
|
|
|
|
|
|
|
|
|
|
|
while read local_ref local_sha remote_ref remote_sha |
|
|
|
|
|
do |
|
|
|
|
|
if [[ "${local_sha}" = $z40 ]]; then |
|
|
|
|
|
echo "Deleting stuff, nothing to do" |
|
|
|
|
|
else |
|
|
|
|
|
( |
|
|
|
|
|
cd cours |
|
|
|
|
|
poetry run python build.py --clean --werror |
|
|
|
|
|
poetry run python build.py --format pdf |
|
|
|
|
|
poetry run python deploy.py |
|
|
|
|
|
) |
|
|
|
|
|
fi |
|
|
|
|
|
done |
|
|
|
|
|
|
|
|
|
|
|
git lfs pre-push "$@" |