aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJasper Van der Jeugt2020-09-11 16:50:35 +0200
committerJasper Van der Jeugt2020-09-11 16:50:35 +0200
commit648c6a17baef0237a2a991ae0fe983a3634be82d (patch)
tree94e0afed8ca13f2c1a4aab18f57032213baf4f2e
parentd2d39bd86ec351f0b5b3bec850a086c3fc40767e (diff)
Bump script for munihac2020
-rw-r--r--scripts/create-rooms.sh27
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