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/cli.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/cli.sh')
-rwxr-xr-x | scripts/dev/cli.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/cli.sh b/scripts/dev/cli.sh index 4b6fe5508..dc6f0af0d 100755 --- a/scripts/dev/cli.sh +++ b/scripts/dev/cli.sh | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/bash |
2 | 2 | ||
3 | set -eu | 3 | set -eu |
4 | 4 | ||