Greetings, Triaging through my old bug submissions, I notice that this issue is still open.
Has any consensus been reached on how to get GRUB to update its image list, without requiring the user to manually tell /etc/kernel-img.conf to run update-grub? If yes, you're welcome to close this bug. If not, I welcome your suggestions on how to permanently resolve this issue in a user-friendly way. Best Regards, -- Martin-Éric Racine http://q-funk.iki.fi
