diff options
| author | Simon A. Eugster <simon.eu@gmail.com> | 2025-01-15 09:55:21 +0100 |
|---|---|---|
| committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2025-01-20 13:38:59 +0000 |
| commit | 11098a9725e60193ca3514cb8ac413932cbe8553 (patch) | |
| tree | 1ad2f09a24a7541bab56f670cf97d81e46a797cc /documentation/dev-manual/efficiently-fetching-sources.rst | |
| parent | 5b6c0bfbf5a9b25c38fa7e1bc637f2eba151e73d (diff) | |
| download | poky-11098a9725e60193ca3514cb8ac413932cbe8553.tar.gz | |
grub-efi-cfg: Add GRUB_TITLE for custom GRUB titles
Until now, the default title of a boot entry is its label. The label is
a variable which determines the script to run during an early boot stage
and is not necessarily human readable.
This patch allows to provide a human-readable title for each boot entry.
(From OE-Core rev: a5a7f6ada786b7f2c1a317f20b7e642f1e978de9)
Signed-off-by: Simon A. Eugster <simon.eu@gmail.com>
Signed-off-by: Mathieu Dubois-Briand <mathieu.dubois-briand@bootlin.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
Diffstat (limited to 'documentation/dev-manual/efficiently-fetching-sources.rst')
0 files changed, 0 insertions, 0 deletions