On Sat, Oct 17, 2009 at 02:50:41PM +0200, Felix Zielcke wrote:
> If /dev/disk/by-uuid/abc123 doestn't exit, then this implies
> that /dev/disk/by-uuid is not a directory.

I think you are misreading the original patch. Check it again ...

-- 
Colin Watson                                       [cjwat...@ubuntu.com]


_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to