> - $BOOT_DEVICE may consist of several device names if RAID is used. Hence
we
> need to loop over each of them and do what you just proposed.
That's a good reason to use your patch.-- regards Thomas -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
