2022-06-02 21:26:42 +03:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
set -o pipefail -o errexit
|
2023-02-15 23:50:55 +03:00
|
|
|
BASEDIR=$(RL=$(readlink -n "$0"); SP="${RL:-$0}"; dirname "$(cd "$(dirname "${SP}")"; pwd)/$(basename "${SP}")")
|
2022-06-02 21:26:42 +03:00
|
|
|
|
|
|
|
|
# Error handling
|
|
|
|
|
handle_error() {
|
|
|
|
|
read -n1 -r -p "FAILED: line $1, exit code $2. Press any key to exit..." _
|
|
|
|
|
exit 1
|
|
|
|
|
}
|
|
|
|
|
trap 'handle_error $LINENO $?' ERR
|
|
|
|
|
|
|
|
|
|
# Load default script environment variables
|
|
|
|
|
# shellcheck source=.script_env
|
|
|
|
|
. "${BASEDIR}/.script_env"
|
|
|
|
|
|
|
|
|
|
pushd "${VAULT_FOLDER}"
|
|
|
|
|
|
|
|
|
|
# Apply a patch from the patches directory
|
|
|
|
|
# shellcheck source=apply_patches.sh
|
|
|
|
|
. "${BASEDIR}/apply_patches.sh"
|
|
|
|
|
|
|
|
|
|
popd
|
