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/clean/server/dist.sh | |
| parent | d5b7d9110dd637a7f67ce9e430145314812a8df1 (diff) | |
| download | PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.tar.gz PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.tar.zst PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.zip | |
Clean shell scripts (#398)
Diffstat (limited to 'scripts/clean/server/dist.sh')
| -rwxr-xr-x | scripts/clean/server/dist.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/clean/server/dist.sh b/scripts/clean/server/dist.sh index be8135b8f..50722cb44 100755 --- a/scripts/clean/server/dist.sh +++ b/scripts/clean/server/dist.sh | |||
| @@ -1,3 +1,5 @@ | |||
| 1 | #!/usr/bin/env sh | 1 | #!/bin/sh |
| 2 | |||
| 3 | set -eu | ||
| 2 | 4 | ||
| 3 | rm -rf dist/ | 5 | rm -rf dist/ |