I've read through the code very carefully, but at the moment I can't see why this would be happening. There are some changes I could make that would probably make it go away, but I'd like to understand the problem before randomly prodding at possible solutions.
Could somebody affected by this bug please do the following:
* Edit /etc/grub.d/10_linux (as root) and put 'set -x' (without the quotes) on the second line, that is on the line immediately after '#! /bin/sh -e'.
* Run 'sudo update-grub >update-grub.out 2>&1' (without the quotes; make sure you type this exactly).
* Assuming that you hit the same problem, this should run indefinitely. Give it (say) a minute to make sure that it has definitely entered the infinite loop we're seeing here, and then press Control+c.
* Attach the file update-grub.out to this bug.
* Undo the change you made to /etc/grub.d/10_linux in the first step.
I've read through the code very carefully, but at the moment I can't see why this would be happening. There are some changes I could make that would probably make it go away, but I'd like to understand the problem before randomly prodding at possible solutions.
Could somebody affected by this bug please do the following:
* Edit /etc/grub. d/10_linux (as root) and put 'set -x' (without the quotes) on the second line, that is on the line immediately after '#! /bin/sh -e'. d/10_linux in the first step.
* Run 'sudo update-grub >update-grub.out 2>&1' (without the quotes; make sure you type this exactly).
* Assuming that you hit the same problem, this should run indefinitely. Give it (say) a minute to make sure that it has definitely entered the infinite loop we're seeing here, and then press Control+c.
* Attach the file update-grub.out to this bug.
* Undo the change you made to /etc/grub.
Thanks in advance!