grub_err_t grub_parser_execute (char *source) { while (source) { char *line; grub_parser_execute_getline (&line, 0, &source); grub_rescue_parse_line (line, grub_parser_execute_getline, &source); grub_free (line); } return grub_errno; }
grub_rescue_run (void) { grub_printf ("Entering rescue mode...\n"); while (1) { char *line; /* Print an error, if any. */ grub_print_error (); grub_errno = GRUB_ERR_NONE; grub_rescue_read_line (&line, 0); if (! line || line[0] == '\0') continue; grub_rescue_parse_line (line, grub_rescue_read_line); grub_free (line); } }