From 7ecc16094cdcc6559613ba1d6d5639ffbc1948b0 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Wed, 24 Apr 2019 23:42:42 +0200
Subject: [PATCH] draft of develop script

---
 .ci/develop.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .ci/develop.sh

diff --git a/.ci/develop.sh b/.ci/develop.sh
new file mode 100644
index 00000000..84cbd1e1
--- /dev/null
+++ b/.ci/develop.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+if  [[ $1 = "-i" ]]; then
+    echo "Install from scratch"
+
+    npm install -g npm@latest grunt-cli generator-reveal
+    npm install
+
+    git submodule update --init
+else
+    echo "Install already performed. Only watching."
+fi
+
+grunt server
+
-- 
GitLab