#!/bin/bash set -euo pipefail base=$(dirname "${BASH_SOURCE[0]}") DESTDIR=${DESTDIR:-/usr/local} cat <