#!/bin/sh set -e path='taurinus/qc/test-bench/testbench-proteanos.sh' wget -O /tmp/testbench "http://product-files.libiquity.com/${path}" chmod a+x /tmp/testbench exec /tmp/testbench