Add extremely sus speedy-download tool which might have made Mike's FTDI

cable glitch enough to need a power cycle.

1 files changed, 19 insertions, 0 deletions

diff --git a/tool/speedy-download b/tool/speedy-download
new file mode 100755
index 0000000..0da40d5
--- /dev/null
+++ b/tool/speedy-download
@@ -0,0 +1,19 @@
+#!/bin/bash
+
+set -eu
+
+FILE="$1"
+shift
+
+echo "$@" > /dev/ttyUSB0
+
+cat "$FILE" >/dev/ttyUSB0 &
+SEND=$!
+
+cat -u /dev/ttyUSB0 &
+RECV=$!
+
+wait "$SEND"
+sleep 1
+kill "$RECV"
+wait