#!/bin/sh
#
#       This script saves the original /etc/default/init file so that
#	customizations made are not lost when the init file is  
#       modified by this patch.  
#

INITDIR=$ROOTDIR/etc/default

Date=`date +%m%d%y%M`
        if [ -f ${INITDIR}/init ]; then
                cp -p ${INITDIR}/init ${INITDIR}/init.$Date
	echo
	echo "    NOTICE: The following file is being replaced by this patch"
       	echo "  "
       	echo "          /etc/default/init"
        echo "\n"
        echo "    A copy of it has been saved under the name:"
        echo "\n"
        echo "          /etc/default/init.$Date"
        echo "\n"
        echo "    The saved file needs to be scrutinized for any customizations"
        echo "    that may have been made.  Please merge these modifications"
        echo "    into the new init file that was delivered by this patch."
	echo
	fi
exit 0
