diff options
author | Miles Bader <miles@gnu.org> | 1996-07-18 22:37:53 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-07-18 22:37:53 +0000 |
commit | 52cccd25aefe8385dcc3b3700692b8ba8ed5fea3 (patch) | |
tree | 2d656b5db59d4d2c516b5092dd88b3815389ca52 | |
parent | 909903b5a24c19f849928bbbf891b121a5100b16 (diff) |
Install grub with INSTALL-GRUB-MBR if desired.
-rw-r--r-- | release/SETUP | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/release/SETUP b/release/SETUP index eba330de..141c81a3 100644 --- a/release/SETUP +++ b/release/SETUP @@ -1,6 +1,18 @@ #!/bin/bash # Setup critical hurd translators +BOOT_DEV="$1" +if [ ! "$BOOT_DEV" ]; then + echo "No boot device specified. Here are some possible devices to use:" + /bin/devprobe sd0 hd0 sd1 hd1 + echo -n "Boot device? " + read BOOT_DEV +fi + +if [ "$BOOT_DEV" -a ! /bin/devprobe -s "$BOOT_DEV" ]; then + echo 2>&1 "$0: $BOOT_DEV: No such device known" +fi + set -v # Make sure the filesystem is writable @@ -14,6 +26,18 @@ fsysopts / --writable cd /dev /bin/sh ./MAKEDEV std ptyp ptyq +set +v + +if test "$BOOT_DEV"; then + /bin/sh ./MAKEDEV "$BOOT_DEV" + echo -n "Install grub as main boot record on $BOOT_DEV? [y] " + read yn + case "$yn" in + "" | "[yY]*") + /bin/sh /INSTALL-GRUB-MBR /dev/$BOOT_DEV;; + esac +fi + echo 'Hit ^C now for shell prompt or RET to reboot' read response sync |