You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#!/bin/zsh
|
|
set -e
|
|
|
|
kill_child_jobs() {
|
|
echo "In kill_child_jobs()..."
|
|
|
|
# From https://unix.stackexchange.com/a/544167
|
|
while kill %% >/dev/null; do :; done
|
|
}
|