stop-arti
1 #!/usr/bin/env bash 2 set -xeuo pipefail 3 4 cd "$(git rev-parse --show-toplevel)" 5 6 # Tell shellcheck that yes, we know that we're sourcing a file. 7 # shellcheck disable=SC1091 8 source tests/chutney/arti.run 9 10 # Tells shellcheck that these variables are set; exits early if they 11 # are not. 12 pid="${pid:?}" 13 14 kill -s INT "$pid" 15 # wait $pid, but $pid was started by a different process 16 tail --pid="$pid" -f /dev/null