#
# shell script to copy a file, change its mode, owner, and group
#
if [ "$#" != "5" ]
	then
	echo "usage: $0 mode owner group source dest"
	exit 1
	fi

mode=$1
owner=$2
group=$3
src=$4
dst=$5

if [ -d $dst ]
	then
	dst=$dst/$src
	fi

cp $src $dst
chown $owner $dst
chmod $mode $dst