This patch replaces the earlier "Enable pager by default" from Peter and Javier with the solution requested by Vladimir.
Be well, --Robbie Robbie Harwood (1): normal: Add paging instructions to interactive prompt grub-core/normal/main.c | 4 +++- grub-core/normal/term.c | 6 ++++++ include/grub/normal.h | 1 + 3 files changed, 10 insertions(+), 1 deletion(-) -- 2.35.1 _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
