It looks like the GRUB_HIDDEN_TIMEOUT line in the /usr/share/grub/default/grub file comes from the setting at about line 60 of the debian/rules file for the grub2 source package ( http://bazaar.launchpad.net/~ubuntu-branches/ubuntu/trusty/grub2/trusty/view/head:/debian/rules ) :
ifeq (yes,$(shell dpkg-vendor --derives-from Ubuntu && echo yes)) DEFAULT_CMDLINE := quiet splash DEFAULT_TIMEOUT := 10 DEFAULT_HIDDEN_TIMEOUT := 0
followed by ifneq (,$(DEFAULT_HIDDEN_TIMEOUT)) perl -pi -e 's/^GRUB_TIMEOUT=.*/GRUB_HIDDEN_TIMEOUT=0\nGRUB_HIDDEN_TIMEOUT_QUIET=true\n$$&/' \ debian/grub2-common/usr/share/grub/default/grub at about line 367.
It looks like the GRUB_HIDDEN_TIMEOUT line in the /usr/share/ grub/default/ grub file comes from the setting at about line 60 of the debian/rules file for the grub2 source package ( bazaar. launchpad. net/~ubuntu- branches/ ubuntu/ trusty/ grub2/trusty/ view/head: /debian/ rules
http://
) :
ifeq (yes,$(shell dpkg-vendor --derives-from Ubuntu && echo yes)) HIDDEN_ TIMEOUT := 0
DEFAULT_CMDLINE := quiet splash
DEFAULT_TIMEOUT := 10
DEFAULT_
followed by HIDDEN_ TIMEOUT) ) TIMEOUT= .*/GRUB_ HIDDEN_ TIMEOUT= 0\nGRUB_ HIDDEN_ TIMEOUT_ QUIET=true\ n$$&/' \ grub2-common/ usr/share/ grub/default/ grub
ifneq (,$(DEFAULT_
perl -pi -e 's/^GRUB_
debian/
at about line 367.