should be reported as directories. */
file = grub_file_open (pathname, GRUB_FILE_TYPE_GET_SIZE
| GRUB_FILE_TYPE_NO_DECOMPRESS);
- if (! file)
+ if (file)
{
- grub_errno = 0;
- grub_free (pathname);
- return 0;
+ if (! ctx->human)
+ grub_printf ("%-12llu", (unsigned long long) file->size);
+ else
+ grub_printf ("%-12s", grub_get_human_size (file->size,
+ GRUB_HUMAN_SIZE_SHORT));
+ grub_file_close (file);
}
-
- if (! ctx->human)
- grub_printf ("%-12llu", (unsigned long long) file->size);
else
- grub_printf ("%-12s", grub_get_human_size (file->size,
- GRUB_HUMAN_SIZE_SHORT));
- grub_file_close (file);
+ grub_xputs ("????????????");
+
grub_free (pathname);
+ grub_errno = GRUB_ERR_NONE;
}
else
grub_printf ("%-12s", _("DIR"));