#!/bin/bash set -eEu -o pipefail shopt -s failglob trap 'echo >&2 "${BASH_SOURCE:-$0}:${LINENO}: unknown error"' ERR