When this is called from normal mode, by running a command this means that another normal mode will be started again. If you run this command a few times, you would see a lot normal modes running when examining the stack, right?
Hmm, I think you're right.
However, right now there is no single "menu" that could be replaced, just the one(s) created in grub_normal_execute. I guess that will need to be restructured before a "configfile" command will work. Too bad.
-Hollis
_______________________________________________ Grub-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/grub-devel
