Lines Matching full:hide
935 If GRUB "hide"s a DOS (or Windows) partition (*note hide::), DOS (or
943 grub> hide (hd0,1)
1877 When your terminal is dumb or you request GRUB to hide the menu
1937 * hiddenmenu:: Hide the menu interface
2017 * hide:: Hide a partition
2129 File: grub.info, Node: dhcp, Next: hide, Prev: device, Up: General commands
2145 File: grub.info, Node: hide, Next: ifconfig, Prev: dhcp, Up: General commands
2147 13.2.5 hide
2150 -- Command: hide partition
2151 Hide the partition PARTITION by setting the "hidden" bit in its
2157 File: grub.info, Node: ifconfig, Next: pager, Prev: hide, Up: General commands
4248 * hide: hide. (line 7)
4369 Node: hide80689
