#! /bin/sh
GRUBDEFAULT=/etc/default/grub
GRUBDEFAULTBKCUP="$GRUBDEFAULT-ORIG"
GRUBDEFAULTSRC="/csciloc/ubuntu/Images/UNCACSCI-grub"
echo "Installing new $GRUBDEFAULT"
if [ ! -f "$GRUBDEFAULTBCKUP" ]; then
    sudo /bin/mv "$GRUBDEFAULT" "$GRUBDEFAULTBKCUP"
fi
sudo /bin/cp "$GRUBDEFAULTSRC" "$GRUBDEFAULT"
GRUBPASSWDCONF=/etc/grub.d/02_passwd
GRUBPASSWDSRC=/csciloc/ubuntu/Images/UNCACSCI-02_passwd
echo "Copying $GRUBPASSWDCONF"
sudo /bin/cp "$GRUBPASSWDSRC" "$GRUBPASSWDCONF"
sudo /bin/chown root:root "$GRUBPASSWDCONF"
sudo /bin/chmod 0750 "$GRUBPASSWDCONF"
GRUBLINUXCONF=/etc/grub.d/10_linux
echo "Updating $GRUBLINUXCONF"
if [ -f "$GRUBLINUXCONF-ORIG" ]; then
    echo "Refusing to update $GRUBLINUXCONF a 2nd time"
else
    sudo sed  -i-ORIG -e "/gnulinux-simple-[$]boot_device/s/{CLASS}/{CLASS} --unrestricted/" \
  "$GRUBLINUXCONF"
    sudo /bin/chmod 0644 "$GRUBLINUXCONF-ORIG"
fi
sudo /usr/sbin/update-grub

