From 87e477935a44d23de9476f735b9f5c4e1f658f38 Mon Sep 17 00:00:00 2001 From: Peder Bergebakken Sundt Date: Mon, 5 Mar 2018 21:43:58 +0100 Subject: [PATCH] Add dev.sh Used to run the server during development. Uses entr which will restart the server when writing changes to any .py file --- default_config.py | 2 +- dev.sh | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) create mode 100755 dev.sh diff --git a/default_config.py b/default_config.py index 9fd3ffb..25f6a24 100644 --- a/default_config.py +++ b/default_config.py @@ -19,7 +19,7 @@ password = None standalone = False # Defines whether the browser should be opened automatically at startup -start_browser = True +start_browser = False # Multipe instance. If True, multiple clients that connects to your script has different App instances multiple_instance = False diff --git a/dev.sh b/dev.sh new file mode 100755 index 0000000..9046a34 --- /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 ./main.py