#!/bin/sh

echo '$0='$0
echo basename=`basename $0`
echo dirname=`dirname $0`
echo pwd=`pwd`