summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorDaniel Friesel <derf@finalrewind.org>2022-04-03 11:17:06 +0200
committerDaniel Friesel <derf@finalrewind.org>2022-04-03 11:17:06 +0200
commit187bb7e04dfb26203f9bb559bd42de9c89e1c9f1 (patch)
tree87cb185c482d62f2b7acf1b57f720f7c916b1e8d /share
parent3e874b2d0a09bab173540451f8dd684e958949fa (diff)
find-missing-wrapper: be nice to IRIS
Diffstat (limited to 'share')
-rwxr-xr-xshare/find-missing-wrapper3
1 files changed, 2 insertions, 1 deletions
diff --git a/share/find-missing-wrapper b/share/find-missing-wrapper
index 22c3bdd..ae5792c 100755
--- a/share/find-missing-wrapper
+++ b/share/find-missing-wrapper
@@ -1,5 +1,6 @@
-#!/bin/sh
+#!/bin/bash
jq '.[] | .ds100' stations.json | cut -d '"' -f 2 | shuf | while read line; do
echo $line
./find-missing $line | tee -a missing.txt
+ sleep $(( RANDOM % 10 ))
done