diff options
| author | Miles Bader <miles@gnu.org> | 1996-07-18 22:50:00 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-07-18 22:50:00 +0000 |
| commit | a22bd3c35f85ee284830551ebdbcf5a6336c5aa8 (patch) | |
| tree | 5b2c2971a0b86e5c5fa971573334216a2a2eae1b /release/SETUP | |
| parent | 06ad0da69e71fa76f856fc9e5497c4163b0e99f2 (diff) | |
Fixup text.
Diffstat (limited to 'release/SETUP')
| -rw-r--r-- | release/SETUP | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/release/SETUP b/release/SETUP index 141c81a3..5c20f94d 100644 --- a/release/SETUP +++ b/release/SETUP @@ -3,14 +3,15 @@ BOOT_DEV="$1" if [ ! "$BOOT_DEV" ]; then - echo "No boot device specified. Here are some possible devices to use:" + echo "No device to install a boot loader on specified." + echo "Here are some possible devices to use:" /bin/devprobe sd0 hd0 sd1 hd1 - echo -n "Boot device? " + 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" + echo 2>&1 "$0: $BOOT_DEV: No such device known"; exit 1 fi set -v |