Added a restart dev script which destroys then starts dev

lopugit · lopugit · commit d27638157780 · 2020-08-13T17:06:44.000+10:00
diff --git a/scripts/restart-dev b/scripts/restart-dev
@@ -0,0 +1,7 @@
+DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+. "$DIR/.common.sh"
+
+cd "${DIR}/.."
+
+. scripts/destroy-dev
+. scripts/start-dev
