diff options
| author | Léo Andrès <leo@ndrs.fr> | 2018-03-27 09:35:12 +0100 |
|---|---|---|
| committer | Chocobozzz <me@florianbigard.com> | 2018-03-27 10:35:12 +0200 |
| commit | 0e4ffb4b678962d5ff7a4a7d8952033bc84725da (patch) | |
| tree | b116dfe4244f645aa1c4740039544010ef7c3194 /scripts/dev/server.sh | |
| parent | d5b7d9110dd637a7f67ce9e430145314812a8df1 (diff) | |
| download | PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.tar.gz PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.tar.zst PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.zip | |
Clean shell scripts (#398)
Diffstat (limited to 'scripts/dev/server.sh')
| -rwxr-xr-x | scripts/dev/server.sh | 4 |
1 files changed, 3 insertions, 1 deletions
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 @@ | |||
| 1 | #!/usr/bin/env sh | 1 | #!/bin/sh |
| 2 | |||
| 3 | set -eu | ||
| 2 | 4 | ||
| 3 | if [ ! -f "./client/dist/index.html" ]; then | 5 | if [ ! -f "./client/dist/index.html" ]; then |
| 4 | echo "client/dist/index.html does not exist, compile client files..." | 6 | echo "client/dist/index.html does not exist, compile client files..." |