mad-star-studio/element-web
2
0
Fork 0
Code Pull requests Activity

Make bash scripts exit on error rather than continue (#23467)

Browse source
This commit is contained in:
Michael Telatynski 2022-10-12 16:15:51 +01:00 • committed by GitHub
parent 0e8e472138
commit 341b0b469e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/genflags.sh
View file

@ -25,6 +25,8 @@
# all phonenumber.js-supported country flags (as SVGs) into
# PNGs that can be used by CountryDropdown.js.
set -e
# Allow CTRL+C to terminate the script
trap "echo Exited!; exit;" SIGINT SIGTERM