1 |
/* terminal.c - command to show and select a terminal */ |
/* terminal.c - command to show and select a terminal */ |
2 |
/* |
/* |
3 |
* GRUB -- GRand Unified Bootloader |
* GRUB -- GRand Unified Bootloader |
4 |
* Copyright (C) 2003 Free Software Foundation, Inc. |
* Copyright (C) 2003, 2005 Free Software Foundation, Inc. |
5 |
* |
* |
6 |
* GRUB is free software; you can redistribute it and/or modify |
* GRUB is free software; you can redistribute it and/or modify |
7 |
* it under the terms of the GNU General Public License as published by |
* it under the terms of the GNU General Public License as published by |
71 |
} |
} |
72 |
|
|
73 |
|
|
74 |
#ifdef GRUB_UTIL |
GRUB_MOD_INIT(terminal) |
|
void |
|
|
grub_terminal_init (void) |
|
|
{ |
|
|
grub_register_command ("terminal", grub_cmd_terminal, GRUB_COMMAND_FLAG_BOTH, |
|
|
"terminal [TERM...]", "Select a terminal.", 0); |
|
|
} |
|
|
|
|
|
void |
|
|
grub_terminal_fini (void) |
|
|
{ |
|
|
grub_unregister_command ("terminal"); |
|
|
} |
|
|
#else /* ! GRUB_UTIL */ |
|
|
GRUB_MOD_INIT |
|
75 |
{ |
{ |
76 |
(void)mod; /* To stop warning. */ |
(void)mod; /* To stop warning. */ |
77 |
grub_register_command ("terminal", grub_cmd_terminal, GRUB_COMMAND_FLAG_BOTH, |
grub_register_command ("terminal", grub_cmd_terminal, GRUB_COMMAND_FLAG_BOTH, |
78 |
"terminal [TERM...]", "Select a terminal.", 0); |
"terminal [TERM...]", "Select a terminal.", 0); |
79 |
} |
} |
80 |
|
|
81 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(terminal) |
82 |
{ |
{ |
83 |
grub_unregister_command ("terminal"); |
grub_unregister_command ("terminal"); |
84 |
} |
} |
|
#endif /* ! GRUB_UTIL */ |
|