Make script more robust

quinn-rs · Sep 6, 2023 · 970fb58 · 970fb58
1 parent ac8fef7
commit 970fb58
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/perf/docker/build.sh b/perf/docker/build.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -eu
 
 CURDIR=$(pwd)
 

diff --git a/perf/docker/run-client.sh b/perf/docker/run-client.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -eu
 
 SERVICE=client
 PERF_CLIENT_ARGS="--keylog --duration 5 172.42.0.2:4433"

diff --git a/perf/docker/run-server.sh b/perf/docker/run-server.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env -S bash -eu
 
 SERVICE=server
 PERF_SERVER_ARGS="--keylog --listen 172.42.0.2:4433"