From: Glenn Washburn Date: Sun, 14 May 2023 02:05:35 +0000 (-0500) Subject: docs: Command-line and menu entry commands are now separated X-Git-Tag: grub-2.12-rc1~66 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c3161ff547f76a7a98f58ec17f37dce18b75e9f0;p=thirdparty%2Fgrub.git docs: Command-line and menu entry commands are now separated The menu entry commands now have their own section. Change the wording in the section that they were in to reflect this. Signed-off-by: Glenn Washburn Reviewed-by: Daniel Kiper --- diff --git a/docs/grub.texi b/docs/grub.texi index 36f8d0a96..4695b2bf9 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@ -3147,9 +3147,8 @@ The command-line interface provides a prompt and after it an editable text area much like a command-line in Unix or DOS. Each command is immediately executed after it is entered@footnote{However, this behavior will be changed in the future version, in a user-invisible -way.}. The commands (@pxref{Command-line and menu entry commands}) are a -subset of those available in the configuration file, used with exactly -the same syntax. +way.}. The commands (@pxref{Commands}) are a subset of those available +in the configuration file, used with exactly the same syntax. Cursor movement and editing of the text on the line can be done via a subset of the functions available in the Bash shell: @@ -3890,7 +3889,7 @@ shell}. * Menu-specific commands:: * Loader commands:: * General commands:: -* Command-line and menu entry commands:: +* Command-line commands:: * Networking commands:: * Undocumented commands:: @end menu @@ -4255,8 +4254,8 @@ printed. @end deffn -@node Command-line and menu entry commands -@section The list of command-line and menu entry commands +@node Command-line commands +@section The list of command-line commands These commands are usable in the command-line and in menu entries. If you forget a command, you can run the command @command{help}