diff options
author | James Meyer <james.meyer@operamail.com> | 2010-11-04 18:06:25 (GMT) |
---|---|---|
committer | James Meyer <james.meyer@operamail.com> | 2010-11-04 18:06:27 (GMT) |
commit | 429f14eea9f4c00ddd8d82f25612213df8d4af84 (patch) | |
tree | d8441dd4ef5ef539c0b263b138d36fb1995c38d8 /build_tools/larch7/larch0/buildscripts/larch-mbr-grub | |
parent | 11ef4af01d6e197a54d0759e688ab5cbd336be4b (diff) | |
download | linhes_dev-429f14eea9f4c00ddd8d82f25612213df8d4af84.zip |
add profiles for larch 7
Diffstat (limited to 'build_tools/larch7/larch0/buildscripts/larch-mbr-grub')
-rwxr-xr-x | build_tools/larch7/larch0/buildscripts/larch-mbr-grub | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/build_tools/larch7/larch0/buildscripts/larch-mbr-grub b/build_tools/larch7/larch0/buildscripts/larch-mbr-grub new file mode 100755 index 0000000..7197ef2 --- /dev/null +++ b/build_tools/larch7/larch0/buildscripts/larch-mbr-grub @@ -0,0 +1,63 @@ +#!/bin/bash +# +# larch-mbr-grub - Set up a grub boot +# +#2009.08.12 + + +# $1: path to system to be larchified ("/" if running system) +# $2: larch partition + +INSTLDIR="$1" +if [ "${INSTLDIR}" = "/" ]; then + INSTLDIR="" +fi +DEVICE="$2" + +dev=${DEVICE:0:8} +part=${DEVICE:8} + +# Convert the device and partion to grub syntax +grubdevice () +{ + ## The contents of DEVICE.map look something like this: + #(fd0) /dev/fd0 + #(hd0) /dev/hda + #(hd1) /dev/sda + gdev="$( cat ${INSTLDIR}${dmap} | grep "${dev}" | cut -f1 | tr -d "()" )" + gpart=$(( ${part} - 1 )) + echo "#Installing GRUB to (${gdev}), root (${gdev},${gpart})" +} + +dmap=/tmp/DEVICE.map +rm -f ${INSTLDIR}${dmap} +if [ -n "${INSTLDIR}" ]; then + # First try to get a device mapping + mount --bind /dev ${INSTLDIR}/dev + echo "quit" | chroot ${INSTLDIR} grub --no-floppy --device-map=${dmap} --batch + grubdevice + # Now actually install grub + # As far as I can tell, the extra options to grub are not needed here + chroot ${INSTLDIR} grub --batch <<EOT +root (${gdev},${gpart}) +setup (${gdev}) +quit +EOT + umount ${INSTLDIR}/dev +else + # First try to get a device mapping + echo "quit" | grub --no-floppy --device-map=${dmap} --batch + grubdevice + # Now actually install grub + # As far as I can tell, the extra options to grub are not needed here + grub --batch <<EOT +root (${gdev},${gpart}) +setup (${gdev}) +quit +EOT +fi +rm -f ${INSTLDIR}${dmap} + + + + |