diff options
| author | Chocobozzz <me@florianbigard.com> | 2020-02-19 08:56:24 +0100 |
|---|---|---|
| committer | Chocobozzz <me@florianbigard.com> | 2020-02-19 08:56:24 +0100 |
| commit | 0e4338fd1d6f4671768f70fff6554400c81f7ab3 (patch) | |
| tree | e233686b6c525d445584c155a28f33bbdb1c3195 /scripts/dev/server.sh | |
| parent | d5edf22aadfb6a18268c5eb6e172c7bef55e240c (diff) | |
| download | PeerTube-0e4338fd1d6f4671768f70fff6554400c81f7ab3.tar.gz PeerTube-0e4338fd1d6f4671768f70fff6554400c81f7ab3.tar.zst PeerTube-0e4338fd1d6f4671768f70fff6554400c81f7ab3.zip | |
Use bash to run scripts
Diffstat (limited to 'scripts/dev/server.sh')
| -rwxr-xr-x | scripts/dev/server.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/server.sh b/scripts/dev/server.sh index b09a966dd..187a1843e 100755 --- a/scripts/dev/server.sh +++ b/scripts/dev/server.sh | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/bash |
| 2 | 2 | ||
| 3 | set -eu | 3 | set -eu |
| 4 | 4 | ||