diff options
| author |  S. Co1 <[email protected]> | 2019-09-24 13:54:40 -0400 |
|---|---|---|
| committer | S. Co1 <[email protected]> | 2019-09-24 13:54:40 -0400 |
| commit | 20b19de0d22e33476ac082ea048476f9f8c1a5ed (patch) | |
| tree | f1541776183c3d3850693ad20d81fb530bed3a1d /docker/app/scripts/migrate_and_serve.sh | |
| parent | Apply suggestions from code review (diff) | |
| parent | Swap out old discord shield for new one. (diff) | |
Merge branch 'master' into update-linting
Diffstat (limited to 'docker/app/scripts/migrate_and_serve.sh')
| -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. |