diff --git a/scripts/run-seq b/scripts/run-seq new file mode 100644 index 0000000..65050dd --- /dev/null +++ b/scripts/run-seq @@ -0,0 +1,14 @@ +#!/bin/bash + +WAITFOR=1800 # 30min + +for i in {1..60}; do +timeout $WAITFOR bash <