From 1346eb4f76805fc6210e31949e33a06fa44d813a Mon Sep 17 00:00:00 2001
From: Will Miles <will@willmiles.net>
Date: Sun, 8 Sep 2024 15:55:50 -0400
Subject: [PATCH] tools: Add all_xml fetch script

Useful for checking that I haven't broken anything.
---
 tools/all_xml.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 tools/all_xml.sh

diff --git a/tools/all_xml.sh b/tools/all_xml.sh
new file mode 100644
index 000000000..68ed07bbd
--- /dev/null
+++ b/tools/all_xml.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+# Pull all settings pages for comparison
+HOST=$1
+TGT_PATH=$2
+CURL_ARGS="--compressed"
+
+# Replicate one target many times
+function replicate() {
+  for i in {0..10}
+  do  
+    echo -n " http://${HOST}/settings.js?p=$i -o ${TGT_PATH}/$i.xml"
+  done
+}
+read -a TARGETS <<< $(replicate)
+
+mkdir -p ${TGT_PATH}
+curl ${CURL_ARGS} ${TARGETS[@]}