#! /bin/sh

SUT=`hostname -s`

if [ -s /boot/grub/grub.conf.def2625 ]; then
	cp -fa /boot/grub/grub.conf.def2625 /boot/grub/grub.conf
else
	echo "restore_grub_conf: Error: no grub.conf.def2625 file to restore"
fi