Robert Millan wrote: >> + /* >> + Do we want .mo.gz files? Then, the code: >> + file = grub_gzio_open (io, 0); // 0: transparent >> + if (! file) >> + { >> + grub_printf("Problems opening the file\n"); >> + grub_file_close (io); >> + return 0; >> + } >> + */ >> > > Uhm I wonder if we could answer this question before the code is merged; what > does everyone think about .mo.gz? > > If it doesn't hurt to support them, then we should. BTW it's file = grub_gzfile_open (argv[0], 1); actually. But what with seeking in .gz ? Is it efficient?
-- Regards Vladimir 'φ-coder/phcoder' Serbinenko
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel