diff options
author | Jasper Van der Jeugt | 2020-09-11 16:50:35 +0200 |
---|---|---|
committer | Jasper Van der Jeugt | 2020-09-11 16:50:35 +0200 |
commit | 648c6a17baef0237a2a991ae0fe983a3634be82d (patch) | |
tree | 94e0afed8ca13f2c1a4aab18f57032213baf4f2e /scripts | |
parent | d2d39bd86ec351f0b5b3bec850a086c3fc40767e (diff) |
Bump script for munihac2020
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/create-rooms.sh | 27 |
1 files changed, 16 insertions, 11 deletions
diff --git a/scripts/create-rooms.sh b/scripts/create-rooms.sh index a9e3923..1de23dd 100644 --- a/scripts/create-rooms.sh +++ b/scripts/create-rooms.sh @@ -1,16 +1,21 @@ #!/usr/bin/env bash set -o nounset -o pipefail -o errexit -for ((r=0; r <= 20; r++)); do - echo $r - curl 'https://uplcg.jaspervdj.be/rooms' \ - -H 'Content-Type: application/x-www-form-urlencoded' \ - --data-raw "id=zoom$(printf "%02d" "$r")&password=&deck=icfp2020" -done +ROOMS=( + monoidalmu + loopinglambda + phantomphi + pointfreepsi + typedtheta + differentialdelta + covariantkappa + bifunctorialbeta + existentialeta + universalupsilon +) -for ((r=1; r <= 10; r++)); do - echo $r - curl 'https://uplcg.jaspervdj.be/rooms' \ - -H 'Content-Type: application/x-www-form-urlencoded' \ - --data-raw "id=clowdr$(printf "%02d" "$r")&password=&deck=icfp2020" +for r in ${ROOMS[@]}; do + curl -i 'https://uplcg.jaspervdj.be/rooms' \ + -H 'Content-Type: application/x-www-form-urlencoded' \ + --data-raw "id=$r&password=&deck=munihac2020" done |