diff --git a/data/get_all_data.sh b/data/get_all_data.sh new file mode 100755 index 0000000..ab6465b --- /dev/null +++ b/data/get_all_data.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +cd $(dirname $0) + +find ../ -name "get_data.*" \! -executable | grep . >/dev/null \ + && echo "Non-executable files found; consider running:" \ + && find ../ -name "get_data.*" \! -executable -exec echo chmod +x {} \; \ + && exit 1 + +find ../ -name "get_data.*" -executable -exec sh -c "echo processing {}; {} | sed --unbuffered 's/^/ /'" \;