grzegorz-clients/dev.sh
Peder Bergebakken Sundt 87e477935a Add dev.sh
Used to run the server during development. Uses entr which will restart the server when writing changes to any .py file
2018-03-05 21:43:58 +01:00

8 lines
147 B
Bash
Executable File

#!/bin/bash
if ! which entr > /dev/null; then
echo "entr is not installed, aborting..."
exit 1
fi
find . -name "*.py" | entr -r ./main.py