apt-get install grub2 updated the grub2 package to 1.97~beta3-1ubuntu8. This appears to have fixed the problem, i.e. I ran
grub-install /dev/sda
and then changed the value of GRUB_HIDDEN_TIMEOUT back to 0 (the package default)
GRUB_HIDDEN_TIMEOUT=0
ran grub-update, and the machine still boots through as it should.
One very odd thing: the other grub2 packages still report being at version 1.97~beta2-2ubuntu2 ?
This must be a mistake, given that grub2 is just a dummy package.
ibis:~~$ dpkg -l | grep grub
ii grub-common 1.97~beta2-2ubuntu2 GRand Unified Bootloader, version 2 (common
ii grub-pc 1.97~beta2-2ubuntu2 GRand Unified Bootloader, version 2 (PC/BIOS
ii grub2 1.97~beta3-1ubuntu8 GRand Unified Bootloader, version 2 (dummy p
apt-get install grub2 updated the grub2 package to 1.97~beta3- 1ubuntu8. This appears to have fixed the problem, i.e. I ran
grub-install /dev/sda
and then changed the value of GRUB_HIDDEN_TIMEOUT back to 0 (the package default) TIMEOUT= 0
GRUB_HIDDEN_
ran grub-update, and the machine still boots through as it should.
One very odd thing: the other grub2 packages still report being at version 1.97~beta2-2ubuntu2 ?
This must be a mistake, given that grub2 is just a dummy package.
ibis:~~$ dpkg -l | grep grub
ii grub-common 1.97~beta2-2ubuntu2 GRand Unified Bootloader, version 2 (common
ii grub-pc 1.97~beta2-2ubuntu2 GRand Unified Bootloader, version 2 (PC/BIOS
ii grub2 1.97~beta3-1ubuntu8 GRand Unified Bootloader, version 2 (dummy p