Le Sun, Dec 07, 2014 at 08:30:15PM +0100, Samuel Thibault a écrit : > Charles Plessy, le Thu 04 Dec 2014 23:08:03 +0900, a écrit : > > In your system, can't pv-grub-menu be replaced by grub-legacy ? > > Indeed, that works.
Good to know ! Given that maybe grub-legacy will be retired one day, you are still welcome to add the functionality you need in pv-grub-menu. However, if you are undecided about this, could you close the bug for the moment, or alternatively retitle the bug and send a brief summary giving a bit more precise guidance on what is needed to solve the problem ? Have a nice day, -- Charles Plessy Tsurumi, Kanagawa, Japan -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
