diff options
| author |  Johannes Christ <[email protected]> | 2019-09-20 23:42:32 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2019-09-20 23:42:32 +0200 |
| commit | 2027e418b0fc2199ef69aac27e1ee34fca36b0d1 (patch) | |
| tree | f106b60c827709d56d25399761240370c9dc514a /docker/app | |
| parent | Use DockerV2 task. (diff) | |
| parent | Merge pull request #252 from python-discord/line_ending_fix (diff) | |
Merge branch 'master' into container-refinement
Diffstat (limited to 'docker/app')
| -rwxr-xr-x | docker/app/scripts/migrate_and_serve.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docker/app/scripts/migrate_and_serve.sh b/docker/app/scripts/migrate_and_serve.sh index 0b54a2e5..c30d7e04 100755 --- a/docker/app/scripts/migrate_and_serve.sh +++ b/docker/app/scripts/migrate_and_serve.sh @@ -1,4 +1,5 @@ -#!/bin/sh -eu +#!/bin/sh +set -eu ### NOTE # This file is intended to be used by local setups. |