On 06.02.10 Choe, Hyun-ho (choehyu...@gmail.com) wrote: Hi,
> Try to change linux/initrd to linux16/initrd16 in grub.cfg. In > GRUB, you can change command line manually. > Thanks for the hint! However the next grub update/installation will overwrite the file. Hence I guess it is a better idea to modify /etc/grub.d/10_linux . Do you know which modifications have to be done in this file? Thanks in advance, Hilmar -- sigmentation fault -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org