if [ -z ${QUICKREBOOT} ]
then
# TODO: i18n
- if [ -x /usr/bin/eject ]
- then
- BOOT_DEVICE="$(get_boot_device)"
+ BOOT_DEVICE="$(get_boot_device)"
- if device_is_USB_flash_drive ${BOOT_DEVICE}
+ if device_is_USB_flash_drive ${BOOT_DEVICE}
+ then
+ # do NOT eject USB flash drives!
+ # otherwise rebooting with most USB flash drives
+ # failes because they actually remember the
+ # "ejected" state even after reboot
+ MESSAGE="Please remove the USB flash drive"
+ else
+ # ejecting is a very good idea here
+ MESSAGE="Please remove the disc, close the the tray (if any)"
+
+ if [ -x /usr/bin/eject ]
then
- # do NOT eject USB flash drives!
- # otherwise rebooting with most USB flash drives
- # failes because they actually remember the
- # "ejected" state even after reboot
- MESSAGE="Please remove the USB flash drive"
- else
- # ejecting is a very good idea here
- MESSAGE="Please remove the disc, close the the tray (if any)"
-
eject -p -m /live/image >/dev/null 2>&1
fi