diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-06 01:07:38 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-06 01:07:38 +0000 |
| commit | d88dd1f12b667f6ebbb58053fead25ed546fb001 (patch) | |
| tree | a4beb62f6d53229da5a91e0564d9bcc593fe1207 /release/SETUP | |
| parent | 0bc0cab64d7d3adaa96ab26f2762d60263a0da8d (diff) | |
*** empty log message ***
Diffstat (limited to 'release/SETUP')
| -rw-r--r-- | release/SETUP | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/release/SETUP b/release/SETUP index d5ba2978..56da063e 100644 --- a/release/SETUP +++ b/release/SETUP @@ -3,15 +3,17 @@ BOOT_DEV="$1" if [ ! "$BOOT_DEV" ]; then - echo "No device to install a boot loader on specified." + echo "No device to install a boot loader was specified." echo "Here are some possible devices to use:" /bin/devprobe sd0 hd0 sd1 hd1 echo -n "Boot device? [none] " read BOOT_DEV fi -if [ "$BOOT_DEV" -a ! /bin/devprobe -s "$BOOT_DEV" ]; then - echo 2>&1 "$0: $BOOT_DEV: No such device known"; exit 1 +if [ "$BOOT_DEV" ]; then + if /bin/devprobe -s "$BOOT_DEV"; then true; else + echo 2>&1 "$0: $BOOT_DEV: No such device known"; exit 1 + fi fi set -v @@ -34,7 +36,7 @@ if test "$BOOT_DEV" && /bin/sh ./MAKEDEV "$BOOT_DEV"; then read yn case "$yn" in "" | "[yY]*") - /bin/sh /INSTALL-GRUB-MBR /dev/$BOOT_DEV;; + /bin/sh /INSTALL-GRUB-MBR /dev/r$BOOT_DEV;; esac fi |