#!/bin/sh set -e PRG=$(basename "$0") exit() { echo "ERROR: $1" exit 1 } showhelp() { cat <