summaryrefslogtreecommitdiff
path: root/release
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1996-07-18 22:50:00 +0000
committerMiles Bader <miles@gnu.org>1996-07-18 22:50:00 +0000
commita22bd3c35f85ee284830551ebdbcf5a6336c5aa8 (patch)
tree5b2c2971a0b86e5c5fa971573334216a2a2eae1b /release
parent06ad0da69e71fa76f856fc9e5497c4163b0e99f2 (diff)
Fixup text.
Diffstat (limited to 'release')
-rw-r--r--release/SETUP7
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