Bug#462218: Bug#461442: detection of other OSes in update-grub

[Fabian Greffrath]

Robert Millan schrieb:
> Suggestions?

For the time being I could duplicate the convert() function from 
Debian's grub-installer to convert the device names.

However, I believe that there are plenty of cases in which you could use 
a generic device name conversion tool...

-- 
Dipl.-Phys. Fabian Greffrath

Ruhr-Universität Bochum
Lehrstuhl für Energieanlagen und Energieprozesstechnik (LEAT)
Universitätsstr. 150, IB 3/134
D-44780 Bochum

Telefon: +49 (0)234 / 32-26334
Fax:     +49 (0)234 / 32-14227
E-Mail:  greffrath at leat.ruhr-uni-bochum.de