Sei sulla pagina 1di 1

#!

/bin/sh punto=/media/disquete if [ -d /usr/lib/grub ]; then GRUB_PREFIX="/usr/lib" else GRUB_PREFIX="/lib" fi fdformat /dev/fd0 mkfs -t ext2 /dev/fd0 mount /dev/fd0 -t ext2 $punto mkdir -p $punto/boot/grub/ cp -a ${GRUB_PREFIX}/grub/i386-pc/stage* $punto/boot/grub/ cp -a /boot/grub/menu.lst $punto/boot/grub/ sync umount $punto /sbin/grub --batch --device-map=/dev/null <<EOT device (fd0) /dev/fd0 root (fd0) setup (fd0) EOT exit 0

Potrebbero piacerti anche