[PATCH v2 0/1] Add paging instructions to interactive prompt

[Robbie Harwood]

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