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/danger/clean/prod.sh | |
| parent | d5b7d9110dd637a7f67ce9e430145314812a8df1 (diff) | |
| download | PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.tar.gz PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.tar.zst PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.zip | |
Clean shell scripts (#398)
Diffstat (limited to 'scripts/danger/clean/prod.sh')
| -rwxr-xr-x | scripts/danger/clean/prod.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/danger/clean/prod.sh b/scripts/danger/clean/prod.sh index 9103a7944..0675600c4 100755 --- a/scripts/danger/clean/prod.sh +++ b/scripts/danger/clean/prod.sh | |||
| @@ -1,5 +1,7 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | 2 | ||
| 3 | set -eu | ||
| 4 | |||
| 3 | read -p "This will remove all directories and SQL tables. Are you sure? (y/*) " -n 1 -r | 5 | read -p "This will remove all directories and SQL tables. Are you sure? (y/*) " -n 1 -r |
| 4 | echo | 6 | echo |
| 5 | 7 | ||