#!/bin/sh set -e PRG=$(basename "$0") showhelp() { cat <