174 |
return grub_terminfo_set_current (args[0]); |
return grub_terminfo_set_current (args[0]); |
175 |
} |
} |
176 |
|
|
177 |
GRUB_MOD_INIT |
GRUB_MOD_INIT(terminfo) |
178 |
{ |
{ |
179 |
(void) mod; /* To stop warning. */ |
(void) mod; /* To stop warning. */ |
180 |
grub_register_command ("terminfo", grub_cmd_terminfo, GRUB_COMMAND_FLAG_BOTH, |
grub_register_command ("terminfo", grub_cmd_terminfo, GRUB_COMMAND_FLAG_BOTH, |
182 |
grub_terminfo_set_current ("vt100"); |
grub_terminfo_set_current ("vt100"); |
183 |
} |
} |
184 |
|
|
185 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(terminfo) |
186 |
{ |
{ |
187 |
grub_unregister_command ("terminfo"); |
grub_unregister_command ("terminfo"); |
188 |
} |
} |