diff --git a/perf/docker/build.sh b/perf/docker/build.sh index 2f27aa3ca..cac2a3817 100755 --- 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 index a35c94a1e..6d525fea6 100755 --- 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 index cd03bffcc..3028a5e9f 100755 --- 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"