519 |
grub_enter_normal_mode (argv[0]); |
grub_enter_normal_mode (argv[0]); |
520 |
} |
} |
521 |
|
|
522 |
#ifdef GRUB_UTIL |
GRUB_MOD_INIT(normal) |
|
void |
|
|
grub_normal_init (void) |
|
|
{ |
|
|
grub_set_history (GRUB_DEFAULT_HISTORY_SIZE); |
|
|
|
|
|
/* Register a command "normal" for the rescue mode. */ |
|
|
grub_rescue_register_command ("normal", grub_rescue_cmd_normal, |
|
|
"enter normal mode"); |
|
|
|
|
|
/* This registers some built-in commands. */ |
|
|
grub_command_init (); |
|
|
|
|
|
} |
|
|
|
|
|
void |
|
|
grub_normal_fini (void) |
|
|
{ |
|
|
grub_set_history (0); |
|
|
grub_rescue_unregister_command ("normal"); |
|
|
|
|
|
} |
|
|
#else /* ! GRUB_UTIL */ |
|
|
GRUB_MOD_INIT |
|
523 |
{ |
{ |
524 |
/* Normal mode shouldn't be unloaded. */ |
/* Normal mode shouldn't be unloaded. */ |
525 |
grub_dl_ref (mod); |
if (mod) |
526 |
|
grub_dl_ref (mod); |
527 |
|
|
528 |
grub_set_history (GRUB_DEFAULT_HISTORY_SIZE); |
grub_set_history (GRUB_DEFAULT_HISTORY_SIZE); |
529 |
|
|
535 |
grub_command_init (); |
grub_command_init (); |
536 |
} |
} |
537 |
|
|
538 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(normal) |
539 |
{ |
{ |
540 |
grub_set_history (0); |
grub_set_history (0); |
541 |
grub_rescue_unregister_command ("normal"); |
grub_rescue_unregister_command ("normal"); |
542 |
} |
} |
543 |
#endif /* ! GRUB_UTIL */ |
|