2003-01-20 04:13:46 +00:00
|
|
|
/* main.c - the normal mode main routine */
|
|
|
|
/*
|
2004-04-04 13:46:03 +00:00
|
|
|
* GRUB -- GRand Unified Bootloader
|
2005-02-27 21:19:06 +00:00
|
|
|
* Copyright (C) 2000,2001,2002,2003,2005 Free Software Foundation, Inc.
|
2003-01-20 04:13:46 +00:00
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
|
|
* (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
* along with this program; if not, write to the Free Software
|
|
|
|
* Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
|
|
|
|
*/
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
#include <grub/kernel.h>
|
|
|
|
#include <grub/normal.h>
|
|
|
|
#include <grub/dl.h>
|
|
|
|
#include <grub/rescue.h>
|
|
|
|
#include <grub/misc.h>
|
|
|
|
#include <grub/file.h>
|
|
|
|
#include <grub/mm.h>
|
|
|
|
#include <grub/term.h>
|
|
|
|
#include <grub/env.h>
|
2003-01-20 04:13:46 +00:00
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_jmp_buf grub_exit_env;
|
2003-01-20 04:13:46 +00:00
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
#define GRUB_DEFAULT_HISTORY_SIZE 50
|
2003-12-03 19:17:27 +00:00
|
|
|
|
2003-01-20 04:13:46 +00:00
|
|
|
/* Read a line from the file FILE. */
|
|
|
|
static int
|
2004-04-04 13:46:03 +00:00
|
|
|
get_line (grub_file_t file, char cmdline[], int max_len)
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
|
|
|
char c;
|
|
|
|
int pos = 0;
|
|
|
|
int literal = 0;
|
|
|
|
int comment = 0;
|
|
|
|
|
|
|
|
while (1)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
if (grub_file_read (file, &c, 1) != 1)
|
2003-01-20 04:13:46 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
/* Skip all carriage returns. */
|
|
|
|
if (c == '\r')
|
|
|
|
continue;
|
|
|
|
|
|
|
|
/* Replace tabs with spaces. */
|
|
|
|
if (c == '\t')
|
|
|
|
c = ' ';
|
|
|
|
|
|
|
|
/* The previous is a backslash, then... */
|
|
|
|
if (literal)
|
|
|
|
{
|
|
|
|
/* If it is a newline, replace it with a space and continue. */
|
|
|
|
if (c == '\n')
|
|
|
|
{
|
|
|
|
c = ' ';
|
|
|
|
|
|
|
|
/* Go back to overwrite the backslash. */
|
|
|
|
if (pos > 0)
|
|
|
|
pos--;
|
|
|
|
}
|
|
|
|
|
|
|
|
literal = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (c == '\\')
|
|
|
|
literal = 1;
|
|
|
|
|
|
|
|
if (comment)
|
|
|
|
{
|
|
|
|
if (c == '\n')
|
|
|
|
comment = 0;
|
|
|
|
}
|
|
|
|
else if (pos == 0)
|
|
|
|
{
|
|
|
|
if (c == '#')
|
|
|
|
comment = 1;
|
2004-04-04 13:46:03 +00:00
|
|
|
else if (! grub_isspace (c))
|
2003-01-20 04:13:46 +00:00
|
|
|
cmdline[pos++] = c;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
if (c == '\n')
|
|
|
|
break;
|
|
|
|
|
|
|
|
if (pos < max_len)
|
|
|
|
cmdline[pos++] = c;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
cmdline[pos] = '\0';
|
|
|
|
|
|
|
|
return pos;
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2004-04-04 13:46:03 +00:00
|
|
|
free_menu (grub_menu_t menu)
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_menu_entry_t entry = menu->entry_list;
|
2003-01-20 04:13:46 +00:00
|
|
|
|
|
|
|
while (entry)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_menu_entry_t next_entry = entry->next;
|
|
|
|
grub_command_list_t cmd = entry->command_list;
|
2003-01-20 04:13:46 +00:00
|
|
|
|
|
|
|
while (cmd)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_command_list_t next_cmd = cmd->next;
|
2003-01-20 04:13:46 +00:00
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_free ((void *) cmd->command);
|
2003-01-20 04:13:46 +00:00
|
|
|
cmd = next_cmd;
|
|
|
|
}
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_free ((void *) entry->title);
|
2003-01-20 04:13:46 +00:00
|
|
|
entry = next_entry;
|
|
|
|
}
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_free (menu);
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Read the config file CONFIG and return a menu. If no entry is present,
|
|
|
|
return NULL. */
|
2004-04-04 13:46:03 +00:00
|
|
|
static grub_menu_t
|
2003-01-20 04:13:46 +00:00
|
|
|
read_config_file (const char *config)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_file_t file;
|
|
|
|
static char cmdline[GRUB_MAX_CMDLINE];
|
|
|
|
grub_menu_t menu;
|
|
|
|
grub_menu_entry_t *next_entry, cur_entry = 0;
|
|
|
|
grub_command_list_t *next_cmd, cur_cmd;
|
2003-01-20 04:13:46 +00:00
|
|
|
|
|
|
|
/* Try to open the config file. */
|
2004-04-04 13:46:03 +00:00
|
|
|
file = grub_file_open (config);
|
2003-01-20 04:13:46 +00:00
|
|
|
if (! file)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
/* Initialize the menu. */
|
2004-04-04 13:46:03 +00:00
|
|
|
menu = (grub_menu_t) grub_malloc (sizeof (*menu));
|
2003-01-20 04:13:46 +00:00
|
|
|
if (! menu)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_file_close (file);
|
2003-01-20 04:13:46 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
menu->default_entry = 0;
|
|
|
|
menu->fallback_entry = -1;
|
|
|
|
menu->timeout = -1;
|
|
|
|
menu->size = 0;
|
|
|
|
menu->entry_list = 0;
|
|
|
|
|
2005-02-27 21:19:06 +00:00
|
|
|
if (! grub_context_push_menu (menu))
|
|
|
|
{
|
|
|
|
grub_print_error ();
|
|
|
|
grub_errno = GRUB_ERR_NONE;
|
|
|
|
|
|
|
|
free_menu (menu);
|
|
|
|
grub_file_close (file);
|
|
|
|
|
|
|
|
/* Wait until the user pushes any key so that the user
|
|
|
|
can see what happened. */
|
|
|
|
grub_printf ("\nPress any key to continue...");
|
|
|
|
(void) grub_getkey ();
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2003-01-20 04:13:46 +00:00
|
|
|
next_entry = &(menu->entry_list);
|
|
|
|
next_cmd = 0;
|
|
|
|
|
|
|
|
/* Read each line. */
|
|
|
|
while (get_line (file, cmdline, sizeof (cmdline)))
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_command_t cmd;
|
2003-01-20 04:13:46 +00:00
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
cmd = grub_command_find (cmdline);
|
|
|
|
grub_errno = GRUB_ERR_NONE;
|
2003-01-20 04:13:46 +00:00
|
|
|
if (! cmd)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_printf ("Unknown command `%s' is ignored.\n", cmdline);
|
2003-01-20 04:13:46 +00:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
if (cmd->flags & GRUB_COMMAND_FLAG_TITLE)
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
|
|
|
char *p;
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
cur_entry = (grub_menu_entry_t) grub_malloc (sizeof (*cur_entry));
|
2003-01-20 04:13:46 +00:00
|
|
|
if (! cur_entry)
|
|
|
|
goto fail;
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
p = grub_strchr (cmdline, ' ');
|
2003-01-20 04:13:46 +00:00
|
|
|
if (p)
|
2004-04-04 13:46:03 +00:00
|
|
|
cur_entry->title = grub_strdup (p);
|
2003-01-20 04:13:46 +00:00
|
|
|
else
|
2004-04-04 13:46:03 +00:00
|
|
|
cur_entry->title = grub_strdup ("");
|
2003-01-20 04:13:46 +00:00
|
|
|
|
|
|
|
if (! cur_entry->title)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_free (cur_entry);
|
2003-01-20 04:13:46 +00:00
|
|
|
goto fail;
|
|
|
|
}
|
|
|
|
|
|
|
|
cur_entry->num = 0;
|
|
|
|
cur_entry->command_list = 0;
|
|
|
|
cur_entry->next = 0;
|
|
|
|
|
|
|
|
*next_entry = cur_entry;
|
|
|
|
next_entry = &(cur_entry->next);
|
|
|
|
|
|
|
|
next_cmd = &(cur_entry->command_list);
|
|
|
|
|
|
|
|
menu->size++;
|
|
|
|
}
|
|
|
|
else if (! cur_entry)
|
|
|
|
{
|
|
|
|
/* Run the command if possible. */
|
2004-04-04 13:46:03 +00:00
|
|
|
if (cmd->flags & GRUB_COMMAND_FLAG_MENU)
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_command_execute (cmdline);
|
2005-02-27 21:19:06 +00:00
|
|
|
if (grub_errno != GRUB_ERR_NONE)
|
|
|
|
{
|
|
|
|
grub_print_error ();
|
|
|
|
grub_errno = GRUB_ERR_NONE;
|
|
|
|
}
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_printf ("Invalid command `%s' is ignored.\n", cmdline);
|
2003-01-20 04:13:46 +00:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
cur_cmd = (grub_command_list_t) grub_malloc (sizeof (*cur_cmd));
|
2003-01-20 04:13:46 +00:00
|
|
|
if (! cur_cmd)
|
|
|
|
goto fail;
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
cur_cmd->command = grub_strdup (cmdline);
|
2003-01-20 04:13:46 +00:00
|
|
|
if (! cur_cmd->command)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_free (cur_cmd);
|
2003-01-20 04:13:46 +00:00
|
|
|
goto fail;
|
|
|
|
}
|
|
|
|
|
|
|
|
cur_cmd->next = 0;
|
|
|
|
|
|
|
|
*next_cmd = cur_cmd;
|
|
|
|
next_cmd = &(cur_cmd->next);
|
|
|
|
|
|
|
|
cur_entry->num++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fail:
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_file_close (file);
|
2003-01-20 04:13:46 +00:00
|
|
|
|
|
|
|
/* If no entry was found or any error occurred, return NULL. */
|
2004-04-04 13:46:03 +00:00
|
|
|
if (menu->size == 0 || grub_errno != GRUB_ERR_NONE)
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
2005-02-27 21:19:06 +00:00
|
|
|
grub_context_pop_menu ();
|
2003-01-20 04:13:46 +00:00
|
|
|
free_menu (menu);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Check values of the default entry and the fallback one. */
|
|
|
|
if (menu->fallback_entry >= menu->size)
|
|
|
|
menu->fallback_entry = -1;
|
|
|
|
|
|
|
|
if (menu->default_entry < 0 || menu->default_entry >= menu->size)
|
|
|
|
{
|
|
|
|
if (menu->fallback_entry < 0)
|
|
|
|
menu->default_entry = 0;
|
|
|
|
else
|
|
|
|
{
|
|
|
|
menu->default_entry = menu->fallback_entry;
|
|
|
|
menu->fallback_entry = -1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return menu;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* This starts the normal mode. */
|
|
|
|
void
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_enter_normal_mode (const char *config)
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
if (grub_setjmp (grub_exit_env) == 0)
|
|
|
|
grub_normal_execute (config, 0);
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Initialize the screen. */
|
|
|
|
void
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_normal_init_page (void)
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_cls ();
|
|
|
|
grub_printf ("\n\
|
2004-08-21 13:54:22 +00:00
|
|
|
GNU GRUB version %s\n\n",
|
2003-01-20 04:13:46 +00:00
|
|
|
PACKAGE_VERSION);
|
|
|
|
}
|
|
|
|
|
2005-03-08 01:01:06 +00:00
|
|
|
/* Read the file command.lst for auto-loading. */
|
|
|
|
static void
|
|
|
|
read_command_list (void)
|
|
|
|
{
|
|
|
|
const char *prefix;
|
|
|
|
|
|
|
|
prefix = grub_env_get ("prefix");
|
|
|
|
if (prefix)
|
|
|
|
{
|
|
|
|
char *filename;
|
|
|
|
|
|
|
|
filename = grub_malloc (grub_strlen (prefix) + sizeof ("/command.lst"));
|
|
|
|
if (filename)
|
|
|
|
{
|
|
|
|
grub_file_t file;
|
|
|
|
|
|
|
|
grub_sprintf (filename, "%s/command.lst", prefix);
|
|
|
|
file = grub_file_open (filename);
|
|
|
|
if (file)
|
|
|
|
{
|
|
|
|
char buf[80]; /* XXX arbitrary */
|
|
|
|
|
|
|
|
while (get_line (file, buf, sizeof (buf)))
|
|
|
|
{
|
|
|
|
char *p;
|
|
|
|
grub_command_t cmd;
|
|
|
|
|
|
|
|
if (! grub_isgraph (buf[0]))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
p = grub_strchr (buf, ':');
|
|
|
|
if (! p)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
*p = '\0';
|
|
|
|
while (*++p == ' ')
|
|
|
|
;
|
|
|
|
|
|
|
|
if (! grub_isgraph (*p))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
cmd = grub_register_command (buf, 0,
|
|
|
|
GRUB_COMMAND_FLAG_NOT_LOADED,
|
|
|
|
0, 0, 0);
|
|
|
|
if (! cmd)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
cmd->module_name = grub_strdup (p);
|
|
|
|
if (! cmd->module_name)
|
|
|
|
grub_unregister_command (buf);
|
|
|
|
}
|
|
|
|
|
|
|
|
grub_file_close (file);
|
|
|
|
}
|
|
|
|
|
|
|
|
grub_free (filename);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Ignore errors. */
|
|
|
|
grub_errno = GRUB_ERR_NONE;
|
|
|
|
}
|
|
|
|
|
2003-01-20 04:13:46 +00:00
|
|
|
/* Read the config file CONFIG and execute the menu interface or
|
|
|
|
the command-line interface. */
|
|
|
|
void
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_normal_execute (const char *config, int nested)
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_menu_t menu = 0;
|
2003-01-20 04:13:46 +00:00
|
|
|
|
|
|
|
if (config)
|
|
|
|
{
|
|
|
|
menu = read_config_file (config);
|
|
|
|
|
|
|
|
/* Ignore any error. */
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_errno = GRUB_ERR_NONE;
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
|
2005-03-08 01:01:06 +00:00
|
|
|
read_command_list ();
|
|
|
|
|
2003-01-20 04:13:46 +00:00
|
|
|
if (menu)
|
2005-02-27 21:19:06 +00:00
|
|
|
{
|
|
|
|
grub_menu_run (menu, nested);
|
|
|
|
grub_context_pop_menu ();
|
|
|
|
free_menu (menu);
|
|
|
|
}
|
2003-01-20 04:13:46 +00:00
|
|
|
else
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_cmdline_run (nested);
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* Enter normal mode from rescue mode. */
|
|
|
|
static void
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_rescue_cmd_normal (int argc, char *argv[])
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
|
|
|
if (argc == 0)
|
|
|
|
{
|
|
|
|
/* Guess the config filename. */
|
|
|
|
char *config;
|
|
|
|
const char *prefix;
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
prefix = grub_env_get ("prefix");
|
2003-01-20 04:13:46 +00:00
|
|
|
if (prefix)
|
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
config = grub_malloc (grub_strlen (prefix) + sizeof ("/grub.cfg"));
|
2003-01-20 04:13:46 +00:00
|
|
|
if (! config)
|
|
|
|
return;
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_sprintf (config, "%s/grub.cfg", prefix);
|
|
|
|
grub_enter_normal_mode (config);
|
|
|
|
grub_free (config);
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
else
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_enter_normal_mode (0);
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
else
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_enter_normal_mode (argv[0]);
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
#ifdef GRUB_UTIL
|
2003-11-17 18:07:09 +00:00
|
|
|
void
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_normal_init (void)
|
2003-11-17 18:07:09 +00:00
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_set_history (GRUB_DEFAULT_HISTORY_SIZE);
|
2003-12-03 19:17:27 +00:00
|
|
|
|
2003-11-17 18:07:09 +00:00
|
|
|
/* Register a command "normal" for the rescue mode. */
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_rescue_register_command ("normal", grub_rescue_cmd_normal,
|
2003-11-17 18:07:09 +00:00
|
|
|
"enter normal mode");
|
|
|
|
|
|
|
|
/* This registers some built-in commands. */
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_command_init ();
|
2003-11-17 18:07:09 +00:00
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_normal_fini (void)
|
2003-11-17 18:07:09 +00:00
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_set_history (0);
|
|
|
|
grub_rescue_unregister_command ("normal");
|
2003-11-17 18:07:09 +00:00
|
|
|
|
|
|
|
}
|
2004-04-04 13:46:03 +00:00
|
|
|
#else /* ! GRUB_UTIL */
|
|
|
|
GRUB_MOD_INIT
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
|
|
|
/* Normal mode shouldn't be unloaded. */
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_dl_ref (mod);
|
2003-01-20 04:13:46 +00:00
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_set_history (GRUB_DEFAULT_HISTORY_SIZE);
|
2003-12-03 19:17:27 +00:00
|
|
|
|
2003-01-20 04:13:46 +00:00
|
|
|
/* Register a command "normal" for the rescue mode. */
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_rescue_register_command ("normal", grub_rescue_cmd_normal,
|
2003-01-20 04:13:46 +00:00
|
|
|
"enter normal mode");
|
|
|
|
|
|
|
|
/* This registers some built-in commands. */
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_command_init ();
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
|
|
|
|
2004-04-04 13:46:03 +00:00
|
|
|
GRUB_MOD_FINI
|
2003-01-20 04:13:46 +00:00
|
|
|
{
|
2004-04-04 13:46:03 +00:00
|
|
|
grub_set_history (0);
|
|
|
|
grub_rescue_unregister_command ("normal");
|
2003-01-20 04:13:46 +00:00
|
|
|
}
|
2004-04-04 13:46:03 +00:00
|
|
|
#endif /* ! GRUB_UTIL */
|