From 0e4ffb4b678962d5ff7a4a7d8952033bc84725da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9o=20Andr=C3=A8s?= <leo@ndrs.fr>
Date: Tue, 27 Mar 2018 09:35:12 +0100
Subject: Clean shell scripts (#398)

---
 scripts/dev/server.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'scripts/dev/server.sh')

diff --git a/scripts/dev/server.sh b/scripts/dev/server.sh
index 3130f1d87..bfe322ce1 100755
--- a/scripts/dev/server.sh
+++ b/scripts/dev/server.sh
@@ -1,4 +1,6 @@
-#!/usr/bin/env sh
+#!/bin/sh
+
+set -eu
 
 if [ ! -f "./client/dist/index.html" ]; then
   echo "client/dist/index.html does not exist, compile client files..."
-- 
cgit v1.2.3