Jason Thomas wrote:
Felipe, this will not work, the grub shell in batch mode will not use --config-file
Thanks for your review.
You're right, in batch mode we have:
case OPT_BATCH: use_config_file = 0; . . .
How about adding the config-file option and removing the grub from batch mode. Would that be right (and useful)?
Thanks,
Felipe -- It's most certainly GNU/Linux, not Linux. Read more at http://www.gnu.org/gnu/why-gnu-linux.html
_______________________________________________ Bug-grub mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-grub
