server: add script for managing servers in bulk

README.md

@@ -62,6 +62,16 @@ $ ./deploy -s ci1.servo.org ci1
 $ ./deploy -s ci2.servo.org ci2
 ```
 
+To deploy, read monitor config, or write monitor config on one or more servers:
+
+```
+$ cd server/nixos
+$ ./do <deploy|read|write> [host ...]
+$ ./do deploy ci0 ci1 ci2
+$ ./do read ci0 ci1
+$ ./do write ci1 ci2
+```
+
 Setting up the monitor service
 ------------------------------
 

server/nixos/.gitignore

@@ -0,0 +1,4 @@
+/result
+/ci0/
+/ci1/
+/ci2/

server/nixos/do

@@ -0,0 +1,28 @@
+#!/usr/bin/env zsh
+set -euo pipefail -o bsdecho
+action=$1; shift
+
+case "$action" in
+(deploy)
+    for host; do
+        ./deploy -s "$host".servo.org "$host"
+    done
+    ;;
+(read)
+    for host; do
+        mkdir -p -- "$host"
+        rsync root@"$host".servo.org:/config/monitor/{.env,monitor.toml} "$host"/
+    done
+    ;;
+(write)
+    for host; do
+        rsync "$host"/{.env,monitor.toml} root@"$host".servo.org:/config/monitor/
+    done
+    for host; do
+        ssh root@"$host".servo.org systemctl restart monitor
+    done
+    for host; do
+        printf '>>> %s\n' https://"$host".servo.org
+    done
+    ;;
+esac