emu: add -r option to restart (and reload sources) when sources are changed

8 years ago · 5be6a82682
parent 93ad93ff94
commit 5be6a82682
1 changed files with 10 additions and 0 deletions
--- 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 &