From b65253d1446a74125e4c1c2ab0a325ba1e758b02 Mon Sep 17 00:00:00 2001
From: Pierre HUBERT <pierre.git@communiquons.org>
Date: Tue, 14 Apr 2020 18:08:51 +0200
Subject: [PATCH] Add dev script

---
 run_dev.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 run_dev.sh

diff --git a/run_dev.sh b/run_dev.sh
new file mode 100755
index 0000000..6319a13
--- /dev/null
+++ b/run_dev.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+while true; do ./run.sh; done