diff options
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 |