fix : kill all background processes when exiting (#165)

This commit is contained in:
Yannick Mauray 2021-10-28 08:28:19 +02:00 committed by GitHub
parent d0ffb6f4cb
commit aa7ebc1528
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -23,6 +23,8 @@
# }
# 6. Add new OS to the argument parser at the bottom of the script
trap 'kill $(jobs -p)' EXIT
if ((BASH_VERSINFO[0] < 4))
then
echo "Sorry, you need bash 4.0 or newer to run this script."