On Sat, Feb 02, 2008 at 01:20:04PM +0100, Yoshinori K. Okuji wrote: > > I was mistaken. It really depends on the meaning of "execute". For me, > executing a menu means analyzing the menu structure, displaying it, > controlling user inputs, and so on. read_menu_config does not execute a menu > in this sense. > > But, of course, it executes commands in a config file.
Still, "read" is missleading, as it does more than reading. If you add "echo foo" to grub.cfg, this function will print "foo". -- Robert Millan <GPLv2> I know my rights; I want my phone call! <DRM> What use is a phone call… if you are unable to speak? (as seen on /.) _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
