From 0c09928e2c478568ae49552bec8c606c5d2a1610 Mon Sep 17 00:00:00 2001
From: Garth Kidd <garth@garthk.com>
Date: Fri, 14 Jan 2022 13:56:06 +1100
Subject: [PATCH] Ask for AMPY_PORT if it's missing.

---
 scripts/flash_micropython.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/flash_micropython.sh b/scripts/flash_micropython.sh
index 8d39f57..9e1956f 100755
--- a/scripts/flash_micropython.sh
+++ b/scripts/flash_micropython.sh
@@ -9,6 +9,11 @@
 # AMPY_PORT=/dev/tty.usbmodem14621  # Freetronics USB Serial adaptor
 # AMPY_PORT=/dev/tty.SLAB_USBtoUART
 
+if [ -z "$AMPY_PORT" ]; then
+    echo "Please set AMPY_PORT."
+    exit 1
+fi
+
 # BAUDRATE=115200
 BAUDRATE=460800