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