Nie możesz wybrać więcej, niż 25 tematów Tematy muszą się zaczynać od litery lub cyfry, mogą zawierać myślniki ('-') i mogą mieć do 35 znaków.
To repozytorium jest zarchiwizowane. Możesz wyświetlać pliki i je sklonować, ale nie możesz do niego przepychać zmian lub otwierać zgłoszeń/Pull Requestów.
 
 
 
 
 
 

23 wiersze
403 B

  1. #!/bin/bash
  2. set -e
  3. remote="$1"
  4. url="$2"
  5. z40=0000000000000000000000000000000000000000
  6. while read local_ref local_sha remote_ref remote_sha
  7. do
  8. if [[ "${local_sha}" = $z40 ]]; then
  9. echo "Deleting stuff, nothing to do"
  10. else
  11. (
  12. cd cours
  13. poetry run python build.py --clean --werror
  14. poetry run python build.py --format pdf
  15. poetry run python deploy.py
  16. )
  17. fi
  18. done