From 994a42766a3f63b969920ef7f9cf94aa9635f41e Mon Sep 17 00:00:00 2001
From: Peder Bergebakken Sundt <pbsds@hotmail.com>
Date: Wed, 11 Oct 2017 01:43:49 +0200
Subject: [PATCH] Add dev.sh

dev.sh uses entr to restart the server every time a change is made to a .py file
---
 dev.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 dev.sh

diff --git a/dev.sh b/dev.sh
new file mode 100755
index 0000000..73a3f80
--- /dev/null
+++ b/dev.sh
@@ -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
\ No newline at end of file