#!/bin/csh -f
# printheader
# -----------------------------------------------------------------------------
# Shell script to print out a header and optionally set the window title.
# Useful in scripts that do a lot of output and take a long time.
# -----------------------------------------------------------------------------
# Usage:  See Usage section below or run with -h or --help to see usage.
# Assumptions:
# Effects:
#       - Prints header and sets window title
# Notes:
# Implementation Notes:
# Portability Issues:
# Revision History:
#   $Log$
# -----------------------------------------------------------------------------

if ($#argv == 0 || "$1" == "-h" || "$1" == "--help") then
   echo 'Usage:   $0:t [-t] "Text of header"'
   echo "  -t = Use text as window title also"
   exit 1
endif

# Get and check options
set option_title = "false"
if ("$1" == "-t") then
    set option_title = "true"
    shift
endif

if ("${option_title}" == "true") then
    settitle $*:q
endif

echo "************************************************************************"
echo "************************************************************************"
echo "************************************************************************"
echo "*****"
echo "***** $*"
echo "*****"
echo "************************************************************************"
echo "************************************************************************"
echo "************************************************************************"