diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2022-04-03 11:17:06 +0200 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2022-04-03 11:17:06 +0200 |
| commit | 187bb7e04dfb26203f9bb559bd42de9c89e1c9f1 (patch) | |
| tree | 87cb185c482d62f2b7acf1b57f720f7c916b1e8d /share/find-missing-wrapper | |
| parent | 3e874b2d0a09bab173540451f8dd684e958949fa (diff) | |
find-missing-wrapper: be nice to IRIS
Diffstat (limited to 'share/find-missing-wrapper')
| -rwxr-xr-x | share/find-missing-wrapper | 3 |
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 |