Scheduled service maintenance on November 22


On Friday, November 22, 2024, between 06:00 CET and 18:00 CET, GIN services will undergo planned maintenance. Extended service interruptions should be expected. We will try to keep downtimes to a minimum, but recommend that users avoid critical tasks, large data uploads, or DOI requests during this time.

We apologize for any inconvenience.

demoscript 809 B

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. #!/usr/bin/env bash
  2. set -euo pipefail
  3. scriptloc=$(cd $(dirname "${BASH_SOURCE[0]}") && pwd)
  4. replace() {
  5. keyword=$1
  6. string=$2
  7. python << END
  8. with open("${scriptloc}/slides.md") as slides:
  9. content = slides.read()
  10. string = """${string}"""
  11. with open("${scriptloc}/slides.md", "w") as slides:
  12. slides.write(content.replace(r"${keyword}", string))
  13. END
  14. }
  15. mdprint() {
  16. cmd=$*
  17. echo '```bash'
  18. echo '$' ${cmd}
  19. eval ${cmd}
  20. echo '```'
  21. }
  22. tmpdir=$(mktemp -d)
  23. pushd ${tmpdir}
  24. # delete temporary directory on script exit
  25. trap "rm -fr ${tmpdir}" 0
  26. # Initialise repository
  27. init=$(mdprint git init)
  28. replace "::init::" "${init}"
  29. git config --local user.name "Achilleas Koutsou"
  30. git config --local user.email "ak@example.com"
  31. status1=$(mdprint git status)
  32. replace "::status1::" "${status1}"
  33. exit