2273 |
@node terminal |
@node terminal |
2274 |
@subsection terminal |
@subsection terminal |
2275 |
|
|
2276 |
@deffn Command terminal [@option{--dumb}] [@option{--timeout=secs}] [@option{--lines=lines}] [@option{--silent}] [@option{console}] [@option{serial}] [@option{hercules}] |
@deffn Command terminal [@option{--dumb}] [@option{--no-echo}] [@option{--no-edit}] [@option{--timeout=secs}] [@option{--lines=lines}] [@option{--silent}] [@option{console}] [@option{serial}] [@option{hercules}] |
2277 |
Select a terminal for user interaction. The terminal is assumed to be |
Select a terminal for user interaction. The terminal is assumed to be |
2278 |
VT100-compatible unless @option{--dumb} is specified. If both |
VT100-compatible unless @option{--dumb} is specified. If both |
2279 |
@option{console} and @option{serial} are specified, then GRUB will use |
@option{console} and @option{serial} are specified, then GRUB will use |
2292 |
specify this option, the number is assumed as 24. |
specify this option, the number is assumed as 24. |
2293 |
|
|
2294 |
The option @option{--silent} suppresses the message to prompt you to |
The option @option{--silent} suppresses the message to prompt you to |
2295 |
hit any key. This might be useful if your system has no terminal device. |
hit any key. This might be useful if your system has no terminal |
2296 |
|
device. |
2297 |
|
|
2298 |
|
The option @option{--no-echo} has GRUB not to echo back input |
2299 |
|
characters. This implies the option @option{--no-edit}. |
2300 |
|
|
2301 |
|
The option @option{--no-edit} disables the BASH-like editing feature. |
2302 |
@end deffn |
@end deffn |
2303 |
|
|
2304 |
|
|