On Fri, Aug 15, 2003 at 11:34:56PM -0300, Felipe W Damasio wrote:
>       How about adding the config-file option and removing the grub from 
> batch mode. Would that be right (and useful)?

I don't think so, I think you need oukji to respond to this. oukji is
busy at the moment so you'll have to wait till he gets back to you.


_______________________________________________
Bug-grub mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-grub

Reply via email to