From 5be6a826825d9cdc1e17cb28af7fb91167257038 Mon Sep 17 00:00:00 2001
From: Pavol Rusnak <stick@gk2.sk>
Date: Thu, 17 Nov 2016 13:08:49 +0100
Subject: [PATCH] emu: add -r option to restart (and reload sources) when
 sources are changed

---
 emu.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/emu.sh b/emu.sh
index 026ab77f1..4742bb36f 100755
--- a/emu.sh
+++ b/emu.sh
@@ -16,6 +16,16 @@ case "$1" in
         shift
         gdb --args ../vendor/micropython/unix/micropython $ARGS $* $MAIN
         ;;
+    "-r")
+        shift
+        while true; do
+            ../vendor/micropython/unix/micropython $ARGS $* $MAIN &
+            UPY_PID=$!
+            find -name '*.py' | inotifywait -q -e close_write --fromfile -
+            echo Restarting ...
+            kill $UPY_PID
+        done
+        ;;
     "-p")
         shift
         ../vendor/micropython/unix/micropython $ARGS $* $MAIN &