#!/bin/bash if [ x"$1" = x"" ] ; then echo "Usage: $0