Scripts: Set -o pipefail

This is supposed to avoid silent failures when using pipes.

ios/deploy_ios.sh

@@ -1,5 +1,5 @@
 #!/bin/bash
-set -eu
+set -eu -o pipefail
 
 ## Builds an ipa file for iOS. Should be run from the repo-root
 

linux/deploy_deb.sh

@@ -1,5 +1,5 @@
 #!/bin/bash
-set -eu
+set -eu -o pipefail
 
 # Create deb files
 

mac/deploy_mac.sh

@@ -1,5 +1,5 @@
 #!/bin/bash
-set -eu
+set -eu -o pipefail
 
 root_path=$(pwd)
 project_path="${root_path}/Jamulus.pro"

tools/changelog-helper.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 # Requirements: git, Github CLI (gh), jq
-set -eu
+set -eu -o pipefail
 
 echo "This tool checks the ChangeLog file and compares its entries for the top-most"
 echo "release against the associated Github milestone and the git log."

tools/check-wininstaller-translations.sh

@@ -1,5 +1,5 @@
 #!/bin/bash
-set -eu
+set -eu -o pipefail
 
 BASE_DIR=src/translation/wininstaller/
 BASE_LANG=en

tools/create-translation-issues.sh

@@ -16,7 +16,7 @@
 # Example usage for web translations:
 #  ../jamulus/tools/create-translation-issues.sh 3.8.0 2021-05-15 web 'Note: The term "Central server" has been replaced with "Directory server"'
 
-set -eu
+set -eu -o pipefail
 
 if [[ -z ${1:-} ]] || [[ -z ${2:-} ]] || [[ -z ${3:-} ]]; then
     echo "Syntax: $0 RELEASE DEADLINE app|web [EXTRA_TEXT]"

tools/update-copyright-notices.sh

@@ -1,5 +1,5 @@
 #!/bin/bash
-set -eu
+set -eu -o pipefail
 
 YEAR=$(date +%Y)
 echo "Updating global copyright strings..."