arti/tests/chutney/stop-arti

#!/usr/bin/env bash
set -xeuo pipefail

cd "$(git rev-parse --show-toplevel)"

# Tell shellcheck that yes, we know that we're sourcing a file.
# shellcheck disable=SC1091
source tests/chutney/arti.run

# Tells shellcheck that these variables are set; exits early if they
# are not.
pid="${pid:?}"

kill -s INT "$pid"
# wait $pid, but $pid was started by a different process
tail --pid="$pid" -f /dev/null
shell: use /usr/bin/env instead of absolute paths This commit changes the shebang in all shell scripts from absolute paths (such as `/bin/bash` or `/usr/bin/python3`) to the `/usr/bin/env` binary with the accompanying interpreter as it's argument. The reason for this are as follows: - NixOS cannot work with absolute paths - BSD systems install their packages in /usr/local/bin 2023-01-25 17:35:53 +00:00			`#!/usr/bin/env bash`
arti-bench: run the benchmarks in CI, and keep the results This adds `arti-bench` to the `integration` job in the CI pipelines, and keeps around the JSON benchmark output for later comparison. 2022-02-01 16:14:31 +00:00			`set -xeuo pipefail`

			`cd "$(git rev-parse --show-toplevel)"`

			`# Tell shellcheck that yes, we know that we're sourcing a file.`
			`# shellcheck disable=SC1091`
			`source tests/chutney/arti.run`

			`# Tells shellcheck that these variables are set; exits early if they`
			`# are not.`
			`pid="${pid:?}"`

			`kill -s INT "$pid"`
			`# wait $pid, but $pid was started by a different process`
			`tail --pid="$pid" -f /dev/null`