is_nice_device() {
sysfs_path="${1#/sys}"
- if /lib/udev/path_id "${sysfs_path}" | grep -E -q "ID_PATH=(usb|pci-[^-]*-[ide|scsi|usb])"; then
+ if /lib/udev/path_id "${sysfs_path}" | grep -E -q "ID_PATH=(usb|pci-[^-]*-(ide|scsi|usb))"; then
return 0
fi
return 1
# GDMCONF=/etc/gdm/gdm.conf
#fi
-eject
+if [ -x /usr/bin/eject ]
+then
+ eject
+fi
+
log_wait_msg "Insert a driver CD and press ENTER ($DPKG_ARCH)"
log_begin_msg "Looking for driver update CD"
mkdir -p /tmp/driver-updates
cp $updates_root/*_$DPKG_ARCH.deb /tmp/driver-updates/
umount $mountpoint
-eject
+
+if [ -x /usr/bin/eject ]
+then
+ eject
+fi
log_end_msg