Add dev.sh

dev.sh uses entr to restart the server every time a change is made to a .py file
2017-10-11 01:43:49 +02:00
parent 8790dd83b2
commit 994a42766a
1 changed files with 7 additions and 0 deletions
@@ -0,0 +1,7 @@
+#!/bin/bash
+if ! which entr > /dev/null; then
+    echo "entr is not installed, aborting..."
+    exit 1
+fi
+
+find . -name "*.py" | entr -r ./server.py